7.2. Goto Statements

The goto statement causes the next statement for execution to be the one having the given label. The label may be written explicitly after GOTO, or may be referenced by means of a switch whose index must lie within the range 1 to n where n is the number of labels in the switch declaration. See also Section 3.4 and Chapter 5. The syntax is

Gotostatement ::= 
     GOTO  Destination 

Destination ::= 
     Label
     Switch [  Index ]