Introduce new ptr_dtor