INTERFACE A; TYPE T = BRANDED OBJECT i1: INTEGER; END; END A.