Constant __WARNING_POSTCONDITION_NULLTERMINATION_VIOLATION 

pub const __WARNING_POSTCONDITION_NULLTERMINATION_VIOLATION: u32 = 26036u32;