class TEST1
feature
	a: ANY assign put
	   do
	   end

	put (x: like a)
	    do
	    end

end