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