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