class TEST2
inherit
	TEST
		redefine
			value,
			state
		end
feature
	
	value: STRING
		do
			Result := "Weasel"
		end

	state: ARRAYED_LIST [INTEGER]
		do
			create Result.make (0)
		end
end