sig val safe_main : (unit -> unit) -> unit val value_of_file : string -> 'a val file_of_value : string -> 'a -> unit val chop_n_char : int -> string -> string end