A semaphore s was initialized to $1$ using sem$\_$init$($&s$,1,1).$ Then $2$ producers performed sem$\_$wait$($&s$)$ operation and $2$ consumers performed sem$\_$post$($&s$)$ operation. The resulting value of semaphore s is:

Choice $1$ of $4$:$-1$

Choice $2$ of $4$:$0$

Choice $3$ of $4$:$1$

Choice $4$ of $4$:$2$