Consider a non-negative counting semaphore S. The operation P(S) decrements S, and V (S) increments S. During an execution, 20 P(S) operations and 12 V (S) operations are issued in some order. The largest initial value of S for which at least one P(S) operation will remain blocked is ______.
