class
	TEST_DUPLICATE_1

feature

	f (a: STRING) is
			--
		do

		end


	f (a: INTEGER) is
			--
		do

		end

end