MODULE Main;

IMPORT Test;

TYPE W = Test.T;
VAR x : Test.T;
VAR w : W;

BEGIN
  EVAL x;
  EVAL w;
END Main.