Or use the (explicitly denied) iterate and (next-iteration)... Depending on the complexity of the loop body a plain TAGBODY might be the clearest transcription, I guess.