First draft of binary semaphores ACQUIRE and RELEASE, for testing