Description of the illustration while_loop_statement.eps

WHILE boolean_expression
  LOOP statement... END LOOP [ label ] ;