class TEST3 [G -> TEST4 create default_create end]
feature
	hamster: G
		do
			create Result
		end
end