sig val gcc : Cil_types.mach val msvc : Cil_types.mach end