In Example 13.38 (Figure 13.15), suppose we replaced the middle four lines of procedure P with

and the middle four lines of procedure V with

What is the problem with this new version? Explain how it connects to the question of hints and absolutes in Section 13.4.1.

Figure 13.15:

if S.N = 0 sleep on(S.Q) S.N -:= 1