Template:cpp/memory/unsynchronized pool resource/dsc destructor