pub const __WARNING_RANGE_POSTCONDITION_VIOLATION: u32 = 26061u32;