anchor.diff:        popad
         jmp ExitFunction
        @IsNotDFADead:
  +     test ebx,sfDFAFullMatch
  +     jz @IsNotFullMatch
  +      mov eax,dword ptr UntilExcludingPosition
  +      dec eax
  +      mov dword ptr MatchEnd,eax
  +      mov dword ptr result,DFAMatch
  +      popad
  +      jmp ExitFunction
  +     @IsNotFullMatch:
        test ebx,sfDFAMatchWins
        jz @IsNotMatchWin
         push ebx
  
positive.code:       popad
        jmp ExitFunction
      @IsNotDFADead:
      test ebx,sfDFAMatchWins
      jz @IsNotMatchWin
       lea eax,[esi+2]
  
negative.code:     exit;
     end;
     if (State^.Flags and sfDFAFullMatch)<>0 then begin
      MatchEnd:=UntilExcludingPosition;
      result:=DFAMatch;
      exit;
     end;
  