// returns the current position (i.e. one index after the last
// returned token or 0 if GetNextToken() has never been called) in the
// returns the current position (i.e. one index after the last
// returned token or 0 if GetNextToken() has never been called) in the