Label identifiers can be used as the targets of GO TO statements and as labels in READ and WRITE statements.

A label identifier must appear in a LABEL declaration within the innermost block in which the label identifier is used to label a statement.