Before revision: When the pointer changes where it points, or when the pointer is no longer pointing to anything or has itself been freed, the counter should decrease.
After revision: When the pointer changes where it points, or when the pointer is no longer pointing to any area or has itself been freed, the counter should decrease.