anchor.diff:       DFANeedVerification:=true;
       end;
       ntZEROWIDTH:begin
  -     DFANeedVerification:=true;
  +     //DFANeedVerification:=true;
        DFAFast:=false;
        if (Node^.Value and sfEmptyBeginText)<>0 then begin
         BeginningAnchor:=true;
  
positive.code:  result:=WorkQueueToCachedState(Queues[0],Flags);
  
   // Connect the last state to the new state with the current char
   State.NextStates[Instance.ByteMap[CurrentChar]]:=result;
  
  end;
  
  
negative.code:     mov ebx,dword ptr [edi+TFLREDFAState.Flags]
      test ebx,sfDFAMatchWins or sfDFADead
      jnz @CheckFlags
            
     @BackToLoop:
     dec ecx
     jnz @Loop
  