MODULE Main;

PROCEDURE p (<*UNUSED*> VAR x: ARRAY OF CHAR)  =
  BEGIN
  END p;

VAR v : INTEGER;

BEGIN
  p (v);
END Main.