class
	TEST1

feature

	f (i: INTEGER) is
		do
		end

end