expanded class ONE
inherit
	ANY
		redefine
			default_create
		end
feature
	default_create is
		do
		end
end