class TEST inherit TEST1 [TUPLE [a: INTEGER]] create make feature make do end t: TUPLE [a: INTEGER] end