anchor.diff:           wordCount = limitReg - rdPtrReg;
            rdPtr = 4;
         end
  -      if (verbose) $display("requestMessage id=%d rdPtr=%h wrPtr=%h wordCount=%d", sglIdReg, rdPtrReg, wrPtrReg, wordCount);
  +      if (verbose) $display("requestMessage id=%d rdPtr=%d wrPtr=%d wordCount=%d", sglIdReg, rdPtrReg, wrPtrReg, wordCount);
         rdPtrReg <= rdPtr;
         countReg <= truncate(wordCount);
         readEngine[1].request.put( MemengineCmd
  
positive.code: 
     rule updateWrPtr2 if (state == UpdateWrPtr2);
        $display("updateIndWrPtr2");
        gb.enq(replicate(extend(wrPtrReg)));
        state <= SendHeader;
     endrule
  
  
negative.code: // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  // SOFTWARE.
  import Vector::*;
  import BuildVector::*;
  import GetPut::*;
  import ClientServer::*;
  import Gearbox::*;
  