class TEST3 inherit TEST1 redefine x end feature x: STRING $(BODY) end