Constant __WARNING_HIGH_PRIORITY_OVERFLOW_POSTCONDITION

pub const __WARNING_HIGH_PRIORITY_OVERFLOW_POSTCONDITION: u32 = 26045u32;