deferred class PARENT

$CREATION

feature {NONE} -- Creation

	make
		do
		end

feature

	do_something
		deferred
		end

end