But a labeled block is a single loop, that redo makes infinite. I said outside loops is where goto comes in really handy.

But the goto means the above code also contains a loop. Think assembly! No blocks, no loop constructs, no ifs, just conditional jumps...