proof by failure of imagination

In programming languages today, someone had to answer this question: Prove the contention on page 40 that when a CLU iterator terminates, indicating to its parent for loop that there are no more values, the iterator’s activation record is actually at the top of the stack. — Advanced Programming Language …