Как делает “Человека, Или Мальчик” Knuth тестируют работу?

Кто-либо может объяснить, как Тест Человека Или Мальчика возвращает значение-67?
Я пытался напрасно записать результат или проследить его с отладчиком. Любая справка ценилась бы.
Список различных реализаций может быть найден здесь.