I was writing a (less informed!) sibling comment at the same time. Great observation that I hadn't considered: what I called a "labeled break" or "continue" is

I was writing a (less informed!) sibling comment at the same time. Great observation that I hadn't considered: what I called a "labeled break" or "continue" is safer than bare goto since you can't jump from anywhere to anywhere. Thanks for making that plain!