sig
  val setMSVCMode : unit -> unit
  exception CabsOnly
  val add_syntactic_transformation : (Cabs.file -> Cabs.file) -> unit
  val parse : string -> unit -> Cil_types.file * Cabs.file
end