anchor.diff:         InstructionGenerations:TFLREInstructionGenerations;
          StackInstructions:TPFLREInstructions;
          StateCache:TFLREDFAStateHashMap;
  +       LocalByteMap:array[0..256] of longword;
          DefaultStates:array[0..3{dskFastReversed}] of PFLREDFAState;
          StartStates:array[0..4*3{sskMax}] of PFLREDFAState;
          TemporaryState:TFLREDFAState;
  
positive.code:   State:=WorkQueueToCachedState(WorkQueues[0],Flags);
    StartState^:=State;
   end;
   for Position:=StartPosition to UntilExcludingPosition-1 do begin
    LastState:=State;
    State:=State^.NextStates[LocalByteMap[byte(ansichar(LocalInput[Position]))]];
    if not assigned(State) then begin
     State:=RunStateOnByte(LastState,Position,byte(ansichar(LocalInput[Position])),false);
     if not assigned(State) then begin
      result:=DFAError;
      exit;
  
negative.code:     exit;
     end;
     if (State^.Flags and sfDFAMatchWins)<>0 then begin
      MatchEnd:=Position-1;
      result:=DFAMatch;
     end;
    end;
  