Constant EXECUTE_READ 

pub const EXECUTE_READ: u32 = 0x20;