class TEST1

feature

	try
		local
			a: ANY
		do
			a := value
			print (a.generating_type); io.put_new_line
		end

	value: ANY
		attribute 
			Result := "Hamster"
		end

end