expanded class TWO
inherit
	ANY
		undefine
			default_create
		end
inherit{NONE}
	ONE
		undefine
			default_create
		end
feature
	default_create is
		do
		end
end