MODULE Main;
IMPORT Wr;
VAR x: REFANY;
BEGIN
  x := Wr.NEW (REF INTEGER);
END Main.