Description of the illustration for_loop_statement.eps

[ FOR index IN [ REVERSE ] lower_bound .. upper_bound
    LOOP statement... END LOOP [ label ] ;