Constant ZX_DEFAULT_COUNTER_RIGHTS 

pub const ZX_DEFAULT_COUNTER_RIGHTS: u32 = _ /* 53_263u32 */;