MODULE Main;

IMPORT Test;

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

BEGIN
END Main.