MODULE PBadCall;
VAR x : INTEGER;
BEGIN
  x(1)
END PBadCall.