noMoreTokens     4523 src/swfc.c         while(!noMoreTokens())
noMoreTokens     4565 src/swfc.c         while(!noMoreTokens()) {