class TEST3 inherit TEST1 [INTEGER] feature x: INTEGER is 3 end