fNextToken
int32 fNextToken;
fNextToken(1)
int32 wraparoundToken = fNextToken;
int32 token = fNextToken;
fNextToken = get_next_token(token);
if (fNextToken == wraparoundToken)
if (token >= fNextToken)
fNextToken = get_next_token(token);
return fNextToken++;
int32 fNextToken;