class BB [G -> CC rename f as g alias "[]" end]

feature

	f (c: G)
		local
			i: INTEGER
		do
			if c /= Void then
				i := c [5]
			end
		end

end