Debugging non-working 16-bit counter with load and reset control bits