pub const MFD_NOEXEC_SEAL: u32 = 0x0008; // 8u32