Which of the following statement regarding semaphore is true?

(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) All of the above