Semaphore: non-copyable