MODULE Test;

VAR
  x : PROCEDURE(i : INTEGER);

PROCEDURE X(a : INTEGER);
END X;

BEGIN
  x := X;
END Test.