Fixed #1 : reset() does not work when used to switch to another pointer

- reset() shall reset the pn "pointer to counter" to NULL between release() and acquire()