CocoR/Test1/gen/Stmts.mod

(* Generated by SimpleM backend *)
MODULE Stmts;
VAR
  x, y : INTEGER;
  rec : RECORD
    a : INTEGER
  END;
BEGIN
  IF x = 0 THEN
  y := 1
  ELSIF x = 1 THEN
  y := 2
  ELSE
    y := 3
  END;
  CASE x OF
  1 : y := 10
    | 2, 3 : y := 20
    | 4..10 : y := 30
  ELSE 
    y := 0
  END;
  WHILE x > 0 DO
  x := x - 1
  END;
  REPEAT
  x := x + 1
  UNTIL x > 10;
  LOOP
  IF x > 100 THEN
    EXIT
    END;
    x := x + 1
  END;
  FOR y := 1 TO 10 BY 2 DO
  x := x + y
  END;
  FOR y := 1 TO 10 DO
  x := x + 1
  END;
  WITH rec DO
  a := 5
  END
END Stmts.