deferred class T_ACTIVE [G]

feature

	item: G is
			--
		require
			from_test1: True
		deferred
		end

end