The following program implements a solution to the producer-consumer problem using two semaphores. Assume there is an infinite buffer to be used. The function consumer() is incomplete. Copy the function consumer() to your answer book and complete the function so that the program works correctly by filling codes to the shaded areas. semaphore n = 0, s = 1; void producer() {while (true){produce(); semWait(s); append(); semSignal(s); semSignal(n);}} void consumer() {while(true){<...> take(); <...> consume();}} void main() {parbegin(producer, consumer);} (f) In the first line, if "s = 1" is changed to "s = 0", will the program work correctly? Briefly explain your