Okay, I'll give you a third feature that goes with the other two.  In a
subroutine containing a return, you can say "redo _SUB_" and it will start
the subroutine over.

Here's a fourth.  You can exit an eval by saying "last _EVAL_".

How 'bout this:

    FOO: {
        eval ' print "Ever\n"; eval "redo FOO"; print "Never\n"; ';
    }

These are all accidents of an implementation using longjmp() and a
dynamic label stack, and the wise programmer will not make use of
them.  If you want me to be totally strict about such things, then
don't complain if Perl becomes twice as big, twice as slow, and has to
be rewritten in C++.  I'm sure the Book could have been made twice
as big too.

If I don't document something, it's usually either for a good reason,
or a bad reason.  In this case it's a good reason.  :-)