Template:cpp/thread/counting semaphore/dsc operator=