class
    TEST

create
	make

feature 

	make is
		local
			x: FOO [ANY, ANY]
		do
			create x
		end

end