This is the type of thing you don't need goto for, if you have first class continuations, or properly optimized tail recursion. Continuations would allow you to

This is the type of thing you don't need goto for, if you have first class continuations, or properly optimized tail recursion. Continuations would allow you to write your own control structures in much the same way.