From Foundations in Multithreaded, Parallel, and Distributed Programming by Andrews, exercise 4-16, exactly as printed:

Give all possible final values of variable x in the following program. Explain how you got your answer.

int x = 0; sem s1 = 1, s2 = 0; co p(s2); p(s1); x = x*2; v(s1); // p(s1); x = x*x; v(s1); // p(s1); x = x+3; v(s2); v(s1); oc