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