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