M2compiler-V1/tests/d_lib2impl.mod

IMPLEMENTATION MODULE DLib2;
PROCEDURE Twice(x : INTEGER) : INTEGER;
BEGIN
  RETURN x * 2
END Twice;
PROCEDURE Sum(VAR x : Vec) : INTEGER;
VAR i, s : INTEGER;
BEGIN
  s := 0;
  FOR i := 1 TO 3 DO s := s + Twice(x[i]) END;
  RETURN s
END Sum;
END DLib2.