class
	PROXIED

feature

	new_proxy: PROXY
			-- Returns a new proxy for current.
		do
		end

end