method empty = 
    Format.fprintf out "%s@\n--- No status to report@\n%s@." bar bar ;