sig
  val get_lang : (unit -> Flx_cil_cabs.lang_t) Pervasives.ref
  val add_identifier : (string -> unit) Pervasives.ref
  val add_type : (string -> unit) Pervasives.ref
  val push_context : (unit -> unit) Pervasives.ref
  val pop_context : (unit -> unit) Pervasives.ref
  val push_class : (string -> unit) Pervasives.ref
  val pop_class : (unit -> unit) Pervasives.ref
  val currentPattern : string Pervasives.ref
end