anchor.diff:        end
   
         if (ack_rcvd) begin
  -         let temp = outstandingInitRequest.first;
  -         delay <= (c_local - temp - 1) >> 1;
  -         if(verbose) $display("%d: %d update delay=%d, %d, %d", cycle, id, c_local, temp, (c_local-temp-1)>>1);
  -         outstandingInitRequest.deq;
  +         // silently ignore additional ack messages.
         end
      endrule
   
  
positive.code:       if (mux_sel && tx_mux_sel == init_type) begin
           encodeOut = {c_local+1, parity, init_type, block_type};
           if(verbose) $display("%d: %d, Enqueued outgoing init request %d", cycle, id, c_local+1);
           outstandingInitRequest.enq(c_local+1);
        end
        else if (mux_sel && tx_mux_sel == ack_type) begin
           if(verbose) $display("%d: %d, Enqueued outgoing ack %d", cycle, id, c_local+1);
  
negative.code:    FIFOF#(Bit#(66)) dtpTxOutFifo <- mkFIFOF;
     FIFOF#(TxStageOneBuf) stageOneFifo <- mkFIFOF;
  
     FIFOF#(Bit#(53)) ackTimestampFifo <- mkSizedFIFOF(8);
  
     FIFOF#(Bit#(3))  dtpEventFifo   <- mkFIFOF;
     FIFOF#(Bit#(3))  dtpEventOutputFifo   <- mkFIFOF;
  