Template:cpp/memory/monotonic buffer resource/dsc destructor