class C

feature

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

end