Template:cpp/thread/jthread/dsc destructor