anchor.diff:           tx_mux_sel <= ack_type;
            if(verbose) $display("%d: %d, send ack, type %d", cycle, id, ack_type);
         end
  -      else if (timeout_count_init > init_timeout) begin
  +      else if (timeout_count_init > init_timeout-1) begin
            if (is_idle) begin
               timeout_count_init <= 0;
               tx_mux_sel <= init_type;
  
positive.code: 
        // compute delay
        if (ack_rcvd) begin
           let temp = ackTimestampFifo.first;
           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
  
  
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
  