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