sig
  val logChannel : Pervasives.out_channel Pervasives.ref
  val debugFlag : bool Pervasives.ref
  val verboseFlag : bool Pervasives.ref
  val warnFlag : bool Pervasives.ref
  exception Error
  val error : ('a, unit, Flx_cil_pretty.doc) Pervasives.format -> 'a
  val bug : ('a, unit, Flx_cil_pretty.doc) Pervasives.format -> 'a
  val unimp : ('a, unit, Flx_cil_pretty.doc) Pervasives.format -> 'a
  val s : Flx_cil_pretty.doc -> 'a
  val hadErrors : bool Pervasives.ref
  val warn : ('a, unit, Flx_cil_pretty.doc) Pervasives.format -> 'a
  val warnOpt : ('a, unit, Flx_cil_pretty.doc) Pervasives.format -> 'a
  val log : ('a, unit, Flx_cil_pretty.doc) Pervasives.format -> 'a
  val null : ('a, unit, Flx_cil_pretty.doc) Pervasives.format -> 'a
  val pushContext : (unit -> Flx_cil_pretty.doc) -> unit
  val popContext : unit -> unit
  val showContext : unit -> unit
  val withContext : (unit -> Flx_cil_pretty.doc) -> ('-> 'b) -> '-> 'b
  val newline : unit -> unit
  val newHline : unit -> unit
  val getPosition : unit -> int * string * int
  val getHPosition : unit -> int * string
  val setHLine : int -> unit
  val setHFile : string -> unit
  val setCurrentLine : int -> unit
  val setCurrentFile : string -> unit
  type location = { file : string; line : int; hfile : string; hline : int; }
  val d_loc : unit -> Flx_cil_errormsg.location -> Flx_cil_pretty.doc
  val d_hloc : unit -> Flx_cil_errormsg.location -> Flx_cil_pretty.doc
  val getLocation : unit -> Flx_cil_errormsg.location
  val parse_error : string -> 'a
  val locUnknown : Flx_cil_errormsg.location
  val startParsing : string -> Lexing.lexbuf
  val startParsingFromString :
    ?file:string -> ?line:int -> string -> Lexing.lexbuf
  val finishParsing : unit -> unit
end