I don't, actually. It's never reused so I could skip resetting it to 0 with no side-effects. I'll go ahead and do that.