class TEST2 [G -> ANY create default_create end]
feature
	a: G
	   do
		create Result
	   end
end