// No copy:
/** You cannot create a new semaphore by copying an existing one. Use SemaphorePtr instead */
Semaphore(Semaphore const&) = delete;
// No copy:
/** You cannot create a new semaphore by copying an existing one. Use SemaphorePtr instead */
Semaphore(Semaphore const&) = delete;