class C

feature

	f alias "[]" convert (x, y: BOOLEAN): BOOLEAN is
		do
		end

end