LABEL DEFINITION

: label  Define (compiler) label 'label' to be here.
         NOTE: these labels may be redefined.
         'label' is not a 'tag' and does not refer to a
         descriptor.

L tag    Define (user) label 'tag' to be here.
         NOTE: these labels may not be redefined.




UNCONDITIONAL BRANCHES

B label  Branch backwards (repeat)

F label  Branch forwards

J tag    Jump to user-defined label (forwards or backwards)

            In the case of user-defined labels (J), 'tag'
         corresponds to a label defined using 'L' and hence
         may have the same value as a label defined using
         ':'.

             :3           cycle
             F4              exit
             J11             ->LAB
             F5              continue
             :5B3:4       repeat
             L11      LAB:


         NOTE: the label 0 (zero) is reserved for jumps
         around procedures.  This is to enable the jumps
         around several consecutive procedures to be
         collapsed into one.



















                          11