Template:cpp/io/basic syncbuf/dsc destructor