Which of the following statement regarding semaphore is untrue? (A) A binary semaphore may be initialized to any nonnegative integer value. (B) Mutex must be unlocked by the same process that locks it. (C) Both semWait and semSignal are atomic. (D) A semaphore that does not specify the order in which processes are removed from the waiting queue is a weak semaphore. (E) None of the above.