CocoR/Test1/gen/Demo.mod

(* Generated by SimpleM backend *)
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.