Semaphore -librarian example