add __DEBUG_DESTRUCTOR