К>>Кстати говоря, при step=0 в "эквивалентном коде" мы наблюдаем 6-секундную задержку

PROCEDURE Iterate(x1,x2:INTEGER)
VAR i:INTEGER;
BEGIN
  FOR i:=x1 TO x2 STEP Sign(x2-x1) DO ..... END;
END;

while(condition)
{
  foo...;
  break;
  bar...;
}

LOOP
  WHILE condition DO
    foo...;
    EXIT;
    bar...;
  END;
  EXIT (* чтобы сразу же выйти при удачном завершении *)
END

SJA>Ок. Отвественно заявляю, что Оберон ни для чего не пригоден. Доказательств не дам. Тут смысл нужно понимать.

This is a design approach where complex systems are broken down into smaller, more manageable pieces.
www.davidgould.com/Glossary/Glossary.htm

(IEEE) Any software development technique that includes structured design and results in the development of structured programs. See: structured design.
www.validationstation.com/glossary/glossarys.htm

A style of programming in which the programmer divides his program's source code into logically structured chunks of code.
docs.rinet.ru/KofeynyyPrimer/ch38.htm

Structured programming can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement (also known as "go to").
en.wikipedia.org/wiki/Structured_programming

WHILE отмерено меньше семи раз DO отмерять END;
Отрезать (* Режем не делая более ни каких проверок.  Мы уже не спрашиваем можно ли отрезать, а просто режем!!! *)

REPEAT узнавать где брод DO узнал END
Соваться в воду (* Суемся в воду не делая более ни каких проверок. Просто суемся!!! *)

while (отмерено меньше семи раз) {отмерять +"break", +"goto"}
if(отмерено не меньше семи раз) // лишняя проверка
{
  Отрезать
}
else
{
  Error!!!
}

do {узнавать где брод +"break", +"goto"} while (не узнал)
if(узнал) // лишняя проверка
{
  Соваться в воду 
}
else
{
  Error!!!
}

LOOP
    WHILE cond DO
        action;
    END;
    EXIT;
END;

while(cond) action();

СГ>WHILE отмерено меньше семи раз DO отмерять END;
СГ>Отрезать (* Режем не делая более ни каких проверок.  Мы уже не спрашиваем можно ли отрезать, а просто режем!!! *)
СГ>

LOOP
    WHILE отмерено меньше семи раз DO
        отмерять;
        IF чего-то THEN EXIT;
    END;
    EXIT;
END;
Отрезать (* Всё-таки проверка нужна... Вдруг кто-то решит улучшить WHILE ещё одним выходом *)

@@infinite: jmp @@infinite