volatile int in binary semaphore