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