The code that changes the value of the semaphore is