3865745790
Avoid unnecessary reset() of otherwise const shared_ptr in destroy() as this necessities locking for potentially concurrent access.