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 ]