Module Machdep_ppc_32


module Machdep_ppc_32: sig .. end

val gcc : Cil_types.mach
val hasMSVC : bool
val msvc : Cil_types.mach
val gccHas__builtin_va_list : bool
val __thread_is_keyword : bool