Leave name sync::Semaphore