MODULE Main; IMPORT Test, Word; TYPE T = Test.T; V = REF Word.T; VAR t: T; v: V; BEGIN t := 1; v := NEW (V); END Main.