sig val run : ?f_exit_code:(int -> unit) -> OASISTypes.prog -> OASISTypes.args -> unit val run_read_output : OASISTypes.prog -> OASISTypes.args -> string list val run_read_one_line : OASISTypes.prog -> OASISTypes.args -> string end