sig val setMSVCMode : unit -> unit val add_syntactic_transformation : (Cabs.file -> Cabs.file) -> unit val parse : Datatype.Filepath.t -> unit -> Cil_types.file * Cabs.file end