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