CocoR/Test1/gen/Imports.mod

(* Generated by SimpleM backend *)
MODULE Imports;
FROM InOut IMPORT WriteInt, WriteLn;
IMPORT Strings, MathLib;
VAR
  x : INTEGER;
  s : SET OF [0..31];
BEGIN
  x := -5 + 10;
  x := (10 + 20) * 30 DIV 4 MOD 3;
  IF (x IN s) OR (x >= 10) AND (x <= 100) THEN
  x := 0
  END;
  s := {1..3, 5, 7..9};
  x := 0FFH + 10
END Imports.