Added methods to reset the value of the counter, and to create a new
counter with given initial value