anchor.diff:  interface MaxcommonsubseqRequest;
      method Action setupA(Bit#(32) strPointer, Bit#(32) strLen);
      method Action setupB(Bit#(32) strPointer, Bit#(32) strLen);
  -   method Action fetch(Bit#(32) strPointer, Bit#(32) strLen);
  +   method Action fetch(Bit#(32) strPointer, Bit#(32) dest, Bit#(32) src, Bit#(32) strLen);
      method Action start();
   endinterface
   
  
positive.code:       indication.fetchComplete();
     endrule
  
     mkAutoFSM(splice);
     
     method Action setupA(Bit#(32) strPointer, Bit#(32) strLen);
        aLenReg <= strLen;
        $display("setupA %h %d", strPointer, strLen);
        n2a.start(strPointer, 0, pack(truncate(strLen)), 0);
     endmethod
  
     method Action setupB(Bit#(32) strPointer, Bit#(32) strLen);
        bLenReg <= strLen;
        $display("setupB %h %d", strPointer, strLen);
        n2b.start(strPointer, 0, pack(truncate(strLen)), 0);
     endmethod
     
     method Action fetch(Bit#(32) strPointer, Bit#(32) strLen);
        rLenReg <= strLen;
        $display("fetch %h %d", strPointer, strLen);
        l2n.start(strPointer, 0, pack(truncate(strLen)), 0);
     endmethod
  
     method Action start();
  
negative.code:    FIFOF#(void) aReady <- mkFIFOF;
     FIFOF#(void) bReady <- mkFIFOF;
     FIFOF#(void) mReady <- mkFIFOF;
  
     Stmt maxQuadratic =
     seq while(True)
     seq
        action
  