6.11. 내부의 일관성을 검사하는 코드를 사용해라

프로그램은 호출 인수 및 기본적인 상태에 대한 가정이 유효한지 확인하기 위해 검사해야 한다. C 에서 assert(3) 와 같은 매크로가 유용할 수도 있다.