MODULE Main;
IMPORT A;

REVEAL A.T = A.U BRANDED OBJECT END;

BEGIN
END Main.