deferred class TEST1 [G, H]

feature

	key: G is
		deferred
		end

	item: H is
		deferred
		end

end