pub const __WARNING_PRECONDITION_NULLTERMINATION_VIOLATION: u32 = 26035u32;