CocoR/Test1/tests/ok.mod

MODULE Demo;
VAR x : INTEGER;
BEGIN
  x := 1 + 2*3;
  IF x > 5 THEN x := 5 END;
  WHILE x > 0 DO x := x - 1 END
END Demo.