anchor.diff:      /// in a forward-only manner.
       Pending : Queue<'Symbol>;
       //
  -    Buffer : 'Symbol list;
  +    Buffer : Queue<'Symbol>;
       /// The current DFA state.
       CurrentState : DfaStateId;
       /// The last final DFA state visited by the tokenizer.
  
positive.code:                     yield! tokenize symbolEnumerator tokenizerState
  
              | Some transitionTarget ->
                  // If the current DFA state is a final (accepting) state,
                  // mark it as the last final state.
                  let (), tokenizerState =
  
negative.code:     let create initialState : TokenizerState<'Symbol> =
          { Accepted = List.empty;
              Pending = Queue.empty;
              Buffer = Queue.empty;
              CurrentState = initialState;
              LastFinalState = initialState; }
  
  