anchor.diff:        messageWordsReg <= messageWordsReg - 1;
         let v <- toGet(pipes[methodIdReg]).get();
         gb.enq(vec(v));
  -      $display("sendMessage v=%h messageWords=%d", v, messageWordsReg);
  +      $display("sendMessage v=%h messageWords=%d paddingReg=%d", v, messageWordsReg, paddingReg);
         if (messageWordsReg == 1) begin
            if (paddingReg)
               state <= SendPadding;
  
positive.code:    MIMO#(2,1,2,Bit#(32)) readMimo <- mkMIMO(mimoConfig);
     Vector#(pipeCount, FIFOF#(Bit#(32))) dataFifo <- replicateM(mkFIFOF);
  
     let verbose = True;
  
     rule updateReqRdWrPtr if (state == Idle && readyReg);
        if (verbose) $display("updateReqRdWrPtr");
  
negative.code:    endrule
  
     rule updateWrPtr if (state == UpdateWrPtr);
        $display("updateWrPtr limit=%d wrPtr=%d", limitReg, wrPtrReg);
        Bit#(64) metadata = extend(limitReg);
        gb.enq(vec(extend(limitReg)));
        writeEngine[0].request.put(
               MemengineCmd {sglId: sglIdReg, base: 0 << 2, burstLen: 8, len: 2 << 2, tag: 0});
  