Suppose proct and proc$2$ run in two separate threads and that each procedure is called In its respective thread exactly once. Variables $x$ and as are global and shared between threads and $x$ is imitialized to $0.$ Further, assume the increment and decrement operations are atomic. The calls to proc $3$ in procl and proc $Z$ should be replaced with calls to proc$3$a and proc$3$b depending on the part of the question.

a$)$ If prods and proc$2$ call procks in lines $10$ and $18,$ is the final value of global variable $x$ guaranteed to be O$?$ Justify your answer.