Consider the following definition of semaphores given as in Figure $2($i$)$ : $(8)$

Compare this set of definitions with definition as given in Figure $2($ii$).$ Note one difference: With the preceding definition, a semaphore can never take on a negative value. Is there any difference in the effect of the two sets of definitions when used in programs? That is$,$ could you substitute one set for the gther without altering the meaning of the program?