counted-for-statement =

  -+------------------------+-> FOR <variable-name> --------------+
   +--> <beginning-label> : +                                     |
   +---------------------------------<----------------------------+
   +--> IN -+-------------+-> value-expr --> TO --> value-expr ---+
            +-> REVERSE --+                                       |
   +--------------------------------------------------------------+
   +-+--------------------+-> DO -+-> compound-use-statement --+--+
     +-> STEP value-expr -+       +------------ <--------------+  |
   +-----------------------------------<--------------------------+
   +--> END FOR -+------------------+------------------------------>
                 +-> <ending-label> +