Constant __WARNING_RANGE_POSTCONDITION_VIOLATION

pub const __WARNING_RANGE_POSTCONDITION_VIOLATION: u32 = 26061u32;