sig
  val fatal_error : string -> unit
  val safe_main : (unit -> unit) -> unit
  val try_finalize : ('a -> 'b) -> 'a -> ('c -> unit) -> 'c -> 'b
  val unopt : ?default:'a -> 'a option -> 'a
  val md5sum_of_file : string -> string
  val md5sum_of_string : string -> string
  val my_int_of_string : string -> int
end