deferred class
	ENTITY

inherit
	PROXIABLE_DATA

feature

	new_proxy: PROXY_ENTITY
		deferred
		end
end