anchor.diff:  	    else
   	       reqState <= Drain;
   	 end
  -	 else if (wordCountReg <= messageWords)
  +	 else if (wordCountReg == 1)
   	    reqState <= UpdateTail;
   	 else if (messageWords == 1)
   	    reqState <= MessageHeaderRequested;
  
positive.code:    Waiting,
     SendHeader,
     SendMessage,
     Stop
     } SharedMemoryPortalState deriving (Bits,Eq);
  
  
negative.code:       Reg#(Bit#(16)) wordCountReg <- mkReg(0);
        Reg#(Bit#(16)) messageWordsReg <- mkReg(0);
        Reg#(Bit#(16)) methodIdReg <- mkReg(0);
        Reg#(Bool) paddingReg <- mkReg(False);
        Reg#(SharedMemoryPortalState) indState <- mkReg(Idle);
  
     let verbose = True;
  