Constant ZX_BTI_PERM_EXECUTE 

pub const ZX_BTI_PERM_EXECUTE: u32 = _ /* 4u32 */;