MODULE T;
VAR i : INTEGER;
PROCEDURE P(VAR v : INTEGER);
BEGIN
END P;
BEGIN
  P(1 + 2)
END T.