anchor.diff:  	     let methodId = hdr[31:16];
   	     let messageWords = hdr[15:0];
   	     methodIdReg <= methodId;
  +	    if (verbose)
   	     $display("receiveMessageHeader hdr=%x methodId=%x messageWords=%d wordCount=%d", hdr, methodId, messageWords, wordCountReg);
   	     wordCountReg <= wordCountReg - 1;
   	     messageWordsReg <= messageWords - 1;
  
positive.code:       Reg#(SharedMemoryPortalState) reqState <- mkReg(Idle);
  
        rule updateReqHeadTail if (reqState == Idle && readyReg);
  	 $display("updateReqHeadTail");
  	 readEngine.readServers[0].request.put(MemengineCmd { sglId: sglIdReg,
  							     base: 0,
  							     burstLen: 16,
  
negative.code: 		reqState <= MessageRequested;
  	 end
  	 else begin
  	    //$display("receiveMessageHeader tagged invalid %x wordCountReg", maybehdr, wordCountReg);
  	    reqState <= UpdateTail;
  	 end
        endrule
  
  