pub const FLAG_OVERRIDE_ARM_MACHINE_TYPE: u32 = 16u32;