Let P and V semaphore operators be implemented as wait(S) and signal(S), respectively. The semantics are wait(S) { while (S 0); S--; signal(S) { S++; } } Write producer and consumer processes that share an array BUFFER that can contain up to 10 items. State which variables are shared and state their initial values.