Constant ZX_DEFAULT_PAGER_RIGHTS 

pub const ZX_DEFAULT_PAGER_RIGHTS: u32 = _ /* 25_198_594u32 */;