Constant ZX_COUNTER_NON_POSITIVE 

pub const ZX_COUNTER_NON_POSITIVE: u32 = ZX_OBJECT_SIGNAL_5 /* 32u32 */;