В семафоре While содержится условие s <= 0 Где s - после цикла while.Как s может получить отрицательное значение?</p>