sig
  val traceSubsystems : string list Pervasives.ref
  val traceAddSys : string -> unit
  val traceActive : string -> bool
  val traceAddMulti : string -> unit
  val traceIndentLevel : int Pervasives.ref
  val traceIndent : string -> unit
  val traceOutdent : string -> unit
  val trace : string -> Flx_cil_pretty.doc -> unit
  val tracei : string -> Flx_cil_pretty.doc -> unit
  val traceu : string -> Flx_cil_pretty.doc -> unit
end