Listing:

    1  IMPLEMENTATION MODULE DLib2;
    2  PROCEDURE Twice(x : INTEGER) : INTEGER;
    3  BEGIN
    4    RETURN x * 2
    5  END Twice;
    6  PROCEDURE Sum(VAR x : Vec) : INTEGER;
    7  VAR i, s : INTEGER;
    8  BEGIN
    9    s := 0;
   10    FOR i := 1 TO 3 DO s := s + Twice(x[i]) END;
   11    RETURN s
   12  END Sum;
   13  END DLib2.

    0 errors