Bob and Kevin both install their own operating system supporting the use of semaphores. However, Bob makes a bug in the implementation of P$($B$)$ on semaphore B$,$ which deducts the value of B by two instead of by one, if B $>=2.$ If B $<2,$ the calling process will be blocked. The implementation of V$($B$)$ is correct. On the other hand, Kevin makes a bug in the implementation of V$($K$)$ on semaphore K$,$ which increases the value of K by two instead of by one. The implementation of P$($K$)$ is correct. A solution to the critical section problem is to be developed for the two systems with the buggy semaphore implementations. Show how you can implement correctly the critical section in Bob's and Kevin's systems by filling in the entries $(1)$ to $(6)$ below. If no correct solution can be implemented for a particular system, just fill in No in the $3$ entries. $(5$ marks$)$