Template:cpp/io/basic ios/dsc destructor