class TEST2
inherit
	TEST1 [STRING]
feature

	s: STRING
	   do
		Result := t
	   end

end