next_token() was supposed to be a reentrant replacement for strtok(),