anchor.diff:        if (init_rcvd) begin
            timeout_count_init <= timeout_count_init + 1;
            tx_mux_sel <= ack_type;
  -         if(verbose) $display("%d: %d, send ack", cycle, id);
  +         if(verbose) $display("%d: %d, send ack, type %d", cycle, id, ack_type);
         end
         else if (timeout_count_init > init_timeout) begin
            if (is_idle) begin
  
positive.code:    Reg#(Bit#(32))  timeout_count_init <- mkReg(0);
     Reg#(Bit#(32))  timeout_count_sync <- mkReg(0);
     Reg#(Bit#(64))  jumpCount <- mkReg(0);
     Reg#(Bit#(32))  interval_reg <- mkReg(1000);
  
     Wire#(Bool) init_rcvd    <- mkDWire(False);
     Wire#(Bool) ack_rcvd     <- mkDWire(False);
  
negative.code:       Bool log_rcvd_next    = False;
        if (dtpEventInFifo.notEmpty) begin
           let v <- toGet(dtpEventInFifo).get;
           if ((v.e == init_type) && initTimestampFifo.notFull) begin
              initTimestampFifo.enq(v.t);
              let parity = ^(v.t);
              initParityFifo.enq(parity);
  