Fascinating. My reaction to example 1 on p266 was “use a break statement of course”. But break is a type of goto, one created just for this issue that did not exist at the time.
The paragraph where he explains what fi does in his pretend language is also historic as it now exists in languages (bash, etc.).