Programmer Guide/Command Reference/GOTO

GOTO label [default_label] Continue macro execution at the label label. With the argument default_label a second label can be specified which is used as the target should the primary target, label, be undefined.

Often, the GOTO command is used with a variable label to implement a switch-like control structure. In this case, default_label is the name of the default switch-clause.

If both label, and default_label, are undefined, an error is generated and macro execution terminates.