Note that a block by itself is semantically
    identical to a loop that executes once.  Thus
    `last' can be used to effect an early exit out of
    such a block.