anchor.diff:     
      method Action fetch(Bit#(32) strPointer, Bit#(32) strLen);
         rLenReg <= strLen;
  -      l2n.start(strPointer, 0, pack(trunate(strLen)), 0);
  +      l2n.start(strPointer, 0, pack(truncate(strLen)), 0);
      endmethod
   
      method Action start();
  
positive.code:       $display("finish setupA");
        let x <- n2a.finish;
        aReady.enq(?);
        indication.setupComplete;
     endrule
  
     rule finish_setupB;
        $display("finish setupB");
        let x <- n2b.finish;
        bReady.enq(?);
        indication.setupComplete;
     endrule
  
     rule finish_fetch;
        $display("finish fetch");
        let x <- l2n.finish;
        indication.fetchComplete;
     endrule
  
     method Action setupA(Bit#(32) strPointer, Bit#(32) strLen);
  
negative.code: 
  interface MaxcommonsubseqIndication;
     method Action searchResult(Int#(32) v);
     method Action setupAComplete(); 
     method Action setupBComplete(); 
     method Action fetchComplete(); 
  endinterface
  
  