Frama_c_kernel.MachdepsSome predefined Cil_types.mach which specifies machine-dependent data about C programs.
val x86_16 : Cil_types.machval gcc_x86_16 : Cil_types.machval x86_32 : Cil_types.machval gcc_x86_32 : Cil_types.machval x86_64 : Cil_types.machval gcc_x86_64 : Cil_types.machval ppc_32 : Cil_types.machval msvc_x86_64 : Cil_types.mach