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