fixed semaphore example