anchor.diff:              if newDFA.IsOk then
                   let newDFA = newDFA.Value
                   match dfaStates.[newDFA].AcceptSymbol with
  -                | None -> tokenizeDFA_impl input (ofs + 1) newDFA lastAcceptOfs lastAcceptSym span
  -                | Some _ as acceptSymbol -> tokenizeDFA_impl input (ofs + 1) newDFA ofs acceptSymbol span
  +                | None -> tokenizeDFA_impl input (ofs + 1) false newDFA lastAcceptOfs lastAcceptSym span
  +                | Some _ as acceptSymbol -> tokenizeDFA_impl input (ofs + 1) false newDFA ofs acceptSymbol span
  +            // We can't find a symbol with errors still being ignored.
  +            // We would have to advance a state at least once to be able
  +            // to accept a symbol and by then errors would stop being ignored.
  +            elif ignoreErrors then
  +                tokenizeDFA_impl input (ofs + 1) ignoreErrors currState lastAcceptOfs lastAcceptSym span
               else
                   DFAResult.Create lastAcceptSym lastAcceptOfs ofs
   
  -    let tokenizeDFA (input: CharStream) =
  +    let tokenizeDFA ignoreLeadingErrors (input: CharStream) =
           if input.TryExpandPastOffset 0 then
  -            tokenizeDFA_impl input 0 DFAStateTag.InitialState 0 None input.CharacterBuffer
  +            tokenizeDFA_impl input 0 ignoreLeadingErrors DFAStateTag.InitialState 0 None input.CharacterBuffer
           else
               DFAResult.EOF
   
  
positive.code:     let oops = OptimizedOperations.Create grammar
  
      // Unfortunately we can't have ref structs on inner functions yet.
      let rec tokenizeDFA_impl (input: CharStream) ofs currState lastAcceptOfs lastAcceptSym (span: ReadOnlySpan<_>) =
          if ofs = span.Length then
              if input.TryExpandPastOffset(ofs) then
                  tokenizeDFA_impl input ofs currState lastAcceptOfs lastAcceptSym input.CharacterBuffer
              else
                  DFAResult.Create lastAcceptSym lastAcceptOfs ofs
          else
  
negative.code:                     | e -> PostProcessorException(term, e) |> raise
                  let theHolyToken = Token(pos, term, data)
                  theHolyToken
              let dfaResult = tokenizeDFA false input
              // Input ends outside of a group.
              if dfaResult.ReachedEOF then
                  Token.CreateEOF input.CurrentPosition
  