Labeled

 Any statement can be preceded by a label prefix of the following
 form:

      identifier:

 This declares the identifier as a label.  The scope of such a
 declaration is the current function.  Labels are used only as the
 targets of goto statements.