sig
  val level : string Stdlib.ref
  val log : Stdlib.out_channel Stdlib.ref
  val call : char -> (Stdlib.out_channel -> unit) -> unit
  val internal_error : string -> 'a
  val fatal_error : string -> 'a
  val print_in_assert : bool -> string -> bool
end