#4664: using Token::nextArgument() and std::string &