The counter is freed in the destructor, nothing can happen after that.So the code is now etched in stone and cannot be changed? Is there an attribute for that? :P
Changes introduces in the destructor shouldn't affect other code, because nothing can happen after the destructor.