Thanks a lot! Would you mind adding the version of toke.c that caused the problem as well?
https://www.klos.com/~john/toke.c John