When control reaches the END LOOP statement, it is transferred back to the statement following the LOOP statement until an EXIT IF statement evaluates non-zero. There may be any number of EXIT IF statements in the LOOP. Branching into a LOOP is legal.