Listing: 1 DEFINITION MODULE S4L; 2 CONST base = 100; 3 TYPE Pair = RECORD a, b : INTEGER END; 4 VAR n : INTEGER; 5 PROCEDURE Add(x, y : INTEGER) : INTEGER; 6 PROCEDURE Bump(VAR x : INTEGER); 7 END S4L. 0 errors