이 코드에서는 루프 본체에서 잘못된 문장이 일어나지 않게 하기 위해 while 반복문의 루프-진행 검사를 일종의 감시자(guard)로 사용하는 프로그래밍 기법을 보여준다. 이 경우 루프-진행 검사는 루프 안에서 배열의 범위를 벗어나지 않게 해준다. 현재 위치가 배열의 범위를 벗어나면 개가 도시를 탈출했다는 것을 의미한다. 루프 안에서는 궁지에 몰렸는지 확인하고, 궁지에 몰리면 break 문을 이용해 루프를 빠져나온다.

▲ 그림 1.4.13 21x21 격자에서의 자기 회피 보행