EXECUTE:branching

1_example

 ...
 GOTO A_LABEL
 ...
 A_LABEL:
 ...

2_example

 ...
 START:
 IF (J>8) THEN GOTO END
 ...
 J=J+1
 GOTO START
 END:
 ...