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