MODULE MOpen;
MODULE M EXPORT Total;
PROCEDURE Total(x : ARRAY OF INTEGER) : INTEGER;
VAR i, s : INTEGER;
BEGIN
  s := 0;
  FOR i := 0 TO HIGH(x) DO s := s + x[i] END;
  RETURN s
END Total;
END M;
VAR a : ARRAY [1 .. 4] OF INTEGER; ExitCode : INTEGER;
BEGIN
  a[1] := 1; a[2] := 2; a[3] := 3; a[4] := 4;
  ExitCode := M.Total(a)
END MOpen.