deferred class TEST4 [G, H -> INTEGER]

inherit
	TEST3 [G, INTEGER]
		rename
			force as put
		end

	TEST5 [G]

end