m>Statement</em>.</p>
</blockquote>
<p>Every statement has a label set (it's empty by default for most statements,
except loops and switch statements which have an implicit label so you can break
out of them). When you give a statement a label, the identifier of that label is
added to the label set. The label set is completely separate from the variable
environment of the scope, so there is no potential for naming conflicts between
label identifiers and variable identifiers. Therefore, this error is designe