sig
  val keepComments : bool Pervasives.ref
  val init : filename:string -> Lexing.lexbuf
  val finish : unit -> unit
  val initial : Lexing.lexbuf -> Cparser.token
  val push_context : unit -> unit
  val add_type : string -> unit
  val add_identifier : string -> unit
  val pop_context : unit -> unit
  val annot_char : char Pervasives.ref
  val get_white : unit -> string
  val get_extra_lexeme : unit -> string
  val clear_white : unit -> unit
  val clear_lexeme : unit -> unit
  val currentLoc : unit -> Cabs.cabsloc
end