6.13 Semaphore operators