A functional index counter