Listing: 1 DEFINITION MODULE DLib; 2 CONST step = 5; 3 VAR counter : INTEGER; 4 TYPE Vec = ARRAY [0 .. 3] OF INTEGER; 5 TYPE Point = RECORD x, y : INTEGER END; 6 PROCEDURE Add(n : INTEGER); 7 PROCEDURE Get() : INTEGER; 8 END DLib. 0 errors