class CC

feature

	f alias "[]" (i: INTEGER): BOOLEAN
		do
		end

end