pub const EF_SH_MACH_MASK: u32 = 0x1f;