Question $1$ The following program in Erlang implements the Producers$/$Consumers synchronization pattern using message passing. It is missing the implementation of loopPC$/4$ which you are asked to complete. The arguments to loopPC are as follows: $-$ Cs: Number of consumers that started consuming $-$ Ps: Number of producers that started producing $-$ MaxBuffersize: Buffer size $($constant$,$ greater than $0)-$ OccupiedSlots: Number of currently occupied slots in the buffer Note: Multiple producers and consumers should be allowed. consumer $($Id$,$ Buffer$)->$ timer : sleep $(200),$ io: fwrite $("$ Consumer $$ p trying to consume $$ n$^\text{'}\text{'},[$I d$]),$ Ref $=$ make$\_$ref $(),$ Buffer $!\{$ start$\_$consume, self $(),$ Ref $\},$ receive $\{$ok$\_$to$\_$consume, Ref $->$ io: fwrite $("$ Consumer $$ p consuming $.$ n$^\text{'}\text{'},[$I d$]),$ Buffer $!\{$ end$\_$consume $\},$ io: fwrite $("$Consumer $$ p stopped consuming $.$ n$^\text{'}\text{'},[$I d$]),$ consumer $($Id$,$ Buffer$)$ end producer $($Id $,$ Buffer$)->$ timer : sleep $(1000),$ io: fwrite $("$ Producer $$ p trying to produce $$ n$^\text{'}\text{'},[$ Id $]),$ Ref $=$ make$\_$ref $(),$ Buffer $!\{$ start$\_$produce, self $(),$ Ref$\},$ receive $\{$ ok$\_$to$\_$produce, Ref$\}->$ io: fwrite $("$ Producer $$ p producing $$ n$^\text{'}\text{'},[$I d$]),$ Buffer $!\{$ end$\_$produce $\},$ io: fwrite $("$Producer $$ p stopped producing $.$ n$^\text{'}\text{'},[$I d$]),$ producer $($Id $,$ Buffer$)$ end loopPC $($Cs$,$ Ps$,$ MaxBufferSize, $0$ccupiedSlots$)->\%\%$ implement me startPC $()->$ Buffer $=$ spawn $($ fun $()->$loopPC$(0,0,10,0)$ end $),[$ spawn $($ fun $()->$ producer $($Id $,$ Buffer$)$ end$)||$ Id $<-$ lists : seq $(1,10)],[$ spawn $($ fun $()->$ consumer $($Id$,$ Buffer$)$ end$)$ Id $<-$ lists: seq $(1,10)].$