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