The latter is actually a lot clearer. It is easier to see that the top of the "loop" might have control transfered to it. It is easier to determine where the goto is sending control than to where the redo is going

But that's only because you used a label in the goto code. That's why I used a label in my redo code even though it wasn't required. I must admit I forgot to place the place the label on the actual redo like I normally do, but I meant to. I use redo just like I would use goto. The only difference is that the word redo conveys the reason for which I am jumping.

By the way, you inverted the condition in your second last snippet. It should read last if success; to be equivalent.