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