M2compiler-V1/tests/a_sieve.mod

MODULE ASieve;
VAR isP : ARRAY [2 .. 30] OF BOOLEAN; i, j, n, s : INTEGER; ExitCode : INTEGER;
BEGIN
  FOR i := 2 TO 30 DO isP[i] := TRUE END;
  FOR i := 2 TO 5 DO
    IF isP[i] THEN
      j := i * i;
      WHILE j <= 30 DO
        isP[j] := FALSE;
        j := j + i
      END
    END
  END;
  s := 0; n := 0;
  FOR i := 2 TO 30 DO
    IF isP[i] THEN s := s + i; n := n + 1 END
  END;
  ExitCode := s
END ASieve.