What if semaphore overflows? What indeed?