do {1..length} i ->                              do {length..1} -1 i ->
  ...                                              ...

  if step-over -> iterate +step-over               if step-over -> iterate -step-over
  else <>                                          else <>
;                                                ;
