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