CocoR/Test1/tests/t_bad_for.mod

MODULE TFor;
VAR r : REAL; x : INTEGER;
BEGIN FOR r := 1 TO 5 DO x := x + 1 END
END TFor.