Template:cpp/thread/counting semaphore/navbar