class TEST3 [G -> ANY create default_create end]
feature
	weasel: G
		do
			create Result
		end
	
end