class BB

feature

	f alias "[]" convert (i: INTEGER): INTEGER
		do
			Result := i
		end

end