In order to allow only one process to enter its critical section, binary semaphore are initialized to