Constant __WARNING_POSTCONDITION_NULLTERMINATION_VIOLATION

pub const __WARNING_POSTCONDITION_NULLTERMINATION_VIOLATION: u32 = 26036u32;