Description of the illustration while_loop

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