class TEST3
inherit
	TEST2

feature

	put1 (v: CHARACTER; i: INTEGER) is
			-- Replace character at position `i' by `v'.
		do
			print ("Called put1%N")
		end

	put2 (v: CHARACTER; i: INTEGER) is
			-- Replace character at position `i' by `v'.
		do
			print ("Called put2%N")
		end

	as_special: SPECIAL [CHARACTER]

	area: STRING

end