Template:cpp/io/basic fstream/dsc destructor