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