Fixed counter overflow boundary condition