The GO TO statement transfers control to the statement in the program with the specified label.

<go to statement>

── GO ─┬──────┬─<designational expression>─────────────────────────────┤
       └─ TO ─┘

The value of the designational expression specifies the label to which control is transferred.

Because labels must be declared in the innermost block in which they occur as statement labels, a GO TO statement cannot lead from outside a block to a point inside that block. Each block must be entered at the BEGIN so that the declarations associated with that block are invoked. For more information on labels, refer to LABEL Declaration.