Update Counter.v