should not expose get_currentToken() and nextToken()