Kernel Recipes에서 Martin Uecker는 약 100개인 C의 정의되지 않은 동작 중 진행 중인 C2y 초안이 45개를 제거했다고 설명했다. C23은 뒤의 오류를 이유로 앞선 관찰 가능한 동작까지 바꾸는 최적화를 제한하지만 구현과 명세의 차이는 남아 있다. 관련 커널 사례의 counted_by는 배열과 길이 필드의 관계를 밝혀 경계 검사를 돕는다. 이런 개선도 해제 후 사용까지 모두 막지는 못하며 완전한 메모리 안전성에는 더 강한 검사나 형식 검증이 필요하다.