class interface TUPLE -- Empty TUPLE definition. feature(s) from TUPLE count: INTEGER item (i: INTEGER): ANY require False end of TUPLE