class TEST inherit -- TEST1 [TUPLE [a: INTEGER]] create make feature make is do end t2: TUPLE [a: INTEGER] end