Listing: 1 DEFINITION MODULE DLib2; 2 TYPE Vec = ARRAY [1 .. 3] OF INTEGER; 3 PROCEDURE Sum(VAR x : Vec) : INTEGER; 4 END DLib2. 0 errors