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