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