sig
  val dodebug : bool Pervasives.ref
  val debuglevel : int Pervasives.ref
  val dbglevel : unit -> int
  val dbg : ?level:int -> string -> unit
  val dbg_noendl : ?level:int -> string -> unit
  val tic : unit -> float
  val toc : ?level:int -> ?label:string -> float -> unit
end