Constant ZX_RIGHT_EXECUTE 

pub const ZX_RIGHT_EXECUTE: u32 = _ /* 16u32 */;