Constant ZX_DEFAULT_GUEST_RIGHTS 

pub const ZX_DEFAULT_GUEST_RIGHTS: u32 = _ /* 294_923u32 */;