Listing: 1 MODULE VBadVar; 2 VAR a : ARRAY [1 .. 3] OF INTEGER; 3 PROCEDURE P(VAR x : INTEGER); 4 BEGIN 5 END P; 6 BEGIN 7 P(a[1] + 1) ***** ^ invalid procedure call 8 END VBadVar. 1 error