Constant __WARNING_POTENTIAL_RANGE_POSTCONDITION_VIOLATION 

pub const __WARNING_POTENTIAL_RANGE_POSTCONDITION_VIOLATION: u32 = 26071u32;