sig
  val gcc : Cil_types.mach
  val msvc : Cil_types.mach
  val gccHas__builtin_va_list : bool
  val __thread_is_keyword : bool
end