sig
  val init : filename:string -> lang:Flx_cil_cabs.lang_t -> Lexing.lexbuf
  val finish : unit -> unit
  val initial : Lexing.lexbuf -> Flx_cil_cparser.token
  val push_context : unit -> unit
  val add_type : string -> unit
  val add_identifier : string -> unit
  val pop_context : unit -> unit
end