sig
  exception Internal_error of string
  val trace : ('a, unit, unit) format -> 'a
  val trace_on : unit -> unit
  val trace_off : unit -> unit
  val is_trace_mode : unit -> bool
end