MODULE Test7;

IMPORT Out;

VAR
  i : INTEGER;
  ok : BOOLEAN;

BEGIN
  Out.Open;
  i := 48;
  FOR i := 32 TO i DO
    Out.Int(i, 0); Out.Char(' ');
    ok := TRUE;
  END;
  Out.Ln;

  ASSERT(ok);
END Test7.

Проверка корректности FOR.
Сначала должна вычисляться выражение TO и только потом присвоение индекса.
Результат должен быть: 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48