pub const READ_IMPLIES_EXEC: i32 = 0x0400000; // 4_194_304i32