This is very similar to the while loop except that the test occurs at the end of the loop body.
This guarantees that the loop is executed at least once before continuing.
Such a setup is frequently used where data is to be read.
The test then verifies the data, and loops back to read again if it was unacceptable.