CocoR/Test1/gen/BeDemo.mod

(* Generated by SimpleM backend *)
MODULE BeDemo;
CONST
  Max = 100;
TYPE
  Vec = ARRAY [1..10] OF INTEGER;
VAR
  i, sum : INTEGER;
  v : Vec;
BEGIN
  sum := 0;
  FOR i := 1 TO 10 DO
  v[i] := i * 2;
    sum := sum + v[i]
  END;
  IF sum > Max THEN
  sum := Max
  ELSIF sum = 0 THEN
  sum := 1
  ELSE
    sum := sum + 1
  END;
  WHILE sum > 10 DO
  sum := sum - 7
  END
END BeDemo.