“The switch, while, for, and do statements are allowed to have an optional label prefix that interacts with the break statement.”