the new while loop

while not empty (&s)