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