class B

feature -- Functions with different number of arguments

	f1 (x: BOOLEAN): BOOLEAN is
		do
		end

end