anchor.diff:     endmethod
   
      method Action start();
  -      indication.searchResult(0);
      endmethod
   
   endmodule
  
positive.code:   Reg#(Bit#(32)) aLenReg <- mkReg(0);
    Reg#(Bit#(32)) bLenReg <- mkReg(0);
    Reg#(Bit#(32)) rLenReg <- mkReg(0);
    Reg#(Bit#(32)) copyCountReg <- mkReg(0);
    
     BRAM2Port#(StringIdx, Char) strA  <- mkBRAM2Server(defaultValue);
     BRAM2Port#(StringIdx, Char) strB <- mkBRAM2Server(defaultValue);
     
  
     BRAM2Port#(LIdx, Bit#(16)) matL <- mkBRAM2Server(defaultValue);
  
     BRAMReadClient#(StringIdx,busWidth) n2a <- mkBRAMReadClient(strA.portB);
  
negative.code:       indication.fetchComplete();
     endrule
  
     mkAutoFSM(splice);
     
     method Action setupA(Bit#(32) strPointer, Bit#(32) strLen);
        aLenReg <= strLen;
        n2a.start(strPointer, 0, pack(truncate(strLen)), 0);
  