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