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