Labeled statements are names bound to blocks of code such as loops and conditional logic which can be referenced to allow flow control which is independent of source order
Labeled statements are useful for explicit control flow in complex logic such as nested loops.
References