MODULE Main; VAR x: REF REF INTEGER; BEGIN END Main.