I re-watched this talk, and there was one thing that was not answered:
1. How would a “break” (“leave” instruction?) out of a nested loop look like in Mill code?, and:
2. How would a Python-style for-break-else be done in Mill code?
In C/C++, either would be written using a “goto”. I think the two above are the most common uses of “goto” and therefore more often permitted in coding standards than any other use.
Java has labelled loops, where you would “break <label>” to break out of a nested loop. You could also do (2) in Java with nested loops blocks where the outer loop has only one iteration.