anchor.diff:  
      rule updateWrPtr2 if (state == UpdateWrPtr2);
         $display("updateIndWrPtr2");
  -      gb.enq(replicate(extend(wrPtrReg)));
  +      gb.enq(vec(extend(wrPtrReg)));
         state <= SendHeader;
      endrule
   
  
positive.code:          wordCount = limitReg - rdPtrReg;
           rdPtr = 4;
        end
        if (verbose) $display("requestMessage id=%d rdPtr=%h wrPtr=%h wordCount=%d", sglIdReg, rdPtrReg, wrPtrReg, wordCount);
        rdPtrReg <= rdPtr;
        countReg <= truncate(wordCount);
        readEngine[1].request.put( MemengineCmd
  
negative.code:       wrPtrReg <= wrPtrReg + totalWords;
        messageWordsReg <= numWords;
        methodIdReg <= readyChannel;
        gb.enq(vec(hdr));
        writeEngine[0].request.put( MemengineCmd
            {sglId: sglIdReg, base: extend(wrPtrReg) << 2, burstLen: 8, len: extend(totalWords) << 2, tag: 0});
        state <= SendMessage;
  