IF PROC x = ...;
   ...
THEN
    # can call x here #
    PROC y = ...;
    ...
    GO TO l1 # invalid!! #
ELSE
    # can call x here, but not y #
    ...
    l1: ...
FI