Goblint_std.GobUnix
val string_of_process_status : Unix.process_status -> string
val localtime : unit -> string