class TEST1

feature

	f (a: like Current) is
		do

		end

	g (a: like Current) is
		do
			
		end

	h (a: like Current) is
		do
			
		end

	k (a: like x) is
		do
			
		end

	x: STRING

end