Template:cpp/io/basic stringbuf/dsc destructor