anchor.diff:  
         // compute delay
         if (ack_rcvd) begin
  -         let temp = ackTimestampFifo.first;
  +         let temp <- toGet(ackTimestampFifo).get;
            delay <= (c_local - temp - (rxtx_delay << 1) - 1) >> 1;
            if(verbose) $display("%d: %d update delay=%d, %d, %d", cycle, id, c_local, temp, (c_local-temp-(rxtx_delay<<1)-1)>>1);
  -         ackTimestampFifo.deq;
         end
      endrule
   
  
positive.code:       if (dtpEventInFifo.notEmpty) begin
           let v <- toGet(dtpEventInFifo).get;
           if ((v.e == init_type)) begin
              initTimestampFifo.enq(v.t);
              let parity = ^(v.t);
              initParityFifo.enq(parity);
              if(verbose) $display("%d: %d DtpTx init_rcvd %h %d", cycle, id, v.e, v.t);
              init_rcvd_next = True;
           end
           else if (v.e == ack_type) begin
              ack_rcvd_next = True;
              // append received timestamp to fifo
              ackTimestampFifo.enq(v.t);
              if(verbose) $display("%d: %d DtpTx ack_rcvd %h %d", cycle, id, v.e, v.t);
           end
           else if (v.e == beacon_type) begin
  
negative.code:       let beacon_type = fromInteger(valueOf(BEACON_TYPE));
        let ack_type = fromInteger(valueOf(ACK_TYPE));
        let rxtx_delay = fromInteger(valueOf(RXTX_DELAY));
        if (timeout_count_sync >= sync_timeout-1) begin
           if (is_idle) begin
              timeout_count_sync <= 0;
           end
  