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