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