class
	A

feature

	f (i: INTEGER)
		require
			i > 0
		do
		end

end