CocoR/Test1/gen/ConstVar.mod

(* Generated by SimpleM backend *)
MODULE ConstVar;
CONST
  Max = 100;
  Pi = 314;
VAR
  x, y : INTEGER;
  r : REAL;
  flag : BOOLEAN;
BEGIN
  x := 1 + 2 * 3 - 4 DIV 2;
  y := (x + Max) * 2;
  r := 3.14;
  flag := (x < y) AND (x # 0)
END ConstVar.