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