The only use of an
identifier label is as the target of a
The scope of a label is the function in which it appears.
not be redeclared within a function.
A label can be used in a
statement before its declaration.
Labels have their own name space and do not interfere with other
A label can have the same name as another declaration in the same scope or a
from an enclosing scope.
— end note