Constant ZX_DEFAULT_BTI_RIGHTS 

pub const ZX_DEFAULT_BTI_RIGHTS: u32 = _ /* 33_007u32 */;