class
	TEST4

feature

	f is
		do
			io.put_string ("In {TEST4}.f")
			io.put_new_line
		end

end