the new
while
loop
while not empty(&s)