Template:cpp/thread/counting semaphore/dsc constructor