/*
.  ----------------------------------------------------------------- */
²²²²:                                  /*@                           */
   if branch then call BRANCH
   address ...


return                                 /*@ ²²²²                      */