sig
  val wraplexer :
    (Lexing.lexbuf -> string * string * 'a * Cabs.cabsloc) ->
    Lexing.lexbuf -> 'a
  val setFinalWhite : string -> unit
  val print : string -> unit
  val printl : string list -> unit
  val printu : string -> unit
  val print_maybe : string -> unit
  val printEOF : unit -> unit
  val setLoc : Cabs.cabsloc -> unit
  val setOutput : Pervasives.out_channel -> unit
  val enabled : bool Pervasives.ref
end