Template:cpp/thread/mutex/dsc destructor