Template:cpp/language/dsc destructor