sig val gcc : Flx_cil_machdep_type.mach val msvc : Flx_cil_machdep_type.mach val hasMSVC : bool val gccHas__builtin_va_list : bool val __thread_is_keyword : bool end