I have noticed several instances in Donald Knuth\'s Pascal programs of code that is effectively like the following: