MODULE A;

REVEAL U = T BRANDED OBJECT END;

BEGIN
END A.