[ << label_name >> ] LOOP statement... END LOOP [ label_name ] ;