pub const READ_IMPLIES_EXEC: c_int = 0x0400000;