An exit-condition loop

The do-while loop differs from the while loop in that the test occurs at the end of the loop.

Having the test condition at the end guarantees that the body of the loop always executes at least one time.

This will eliminate the requirement for a priming read as was the case in Listing 3, causing this version of the sentinel-loop program to be somewhat simpler than the previous version.