MODULE T;
VAR i : INTEGER;
PROCEDURE P(a : INTEGER; b : BOOLEAN);
BEGIN
END P;
BEGIN
  P(i)
END T.