sig
  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 currentLoc : unit -> Cabs.cabsloc
  val is_c_keyword : string -> bool
end