Template:cpp/types/dsc has virtual destructor