[ << label_name >> ] FOR index_name IN
  [ REVERSE ] lower_bound .. upper_bound
    LOOP statement... END LOOP [ label_name ] ;