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