class TEST [G -> ANY create default_create end]
create
	make
feature
	make
		do
			create x
		end

	x: G

end