anchor.diff:  
         block_type = v[9:0];
   
  +      $display("%d: tx_mux_sel = %d",cycle, tx_mux_sel);
         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);
  
positive.code:       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);
        end
        else if (timeout_count_init > init_timeout) begin
           if (is_idle) begin
  
negative.code: 
  module mkDtpTx#(Integer id, Integer c_local_init)(DtpTx);
  
     let verbose = False;
     Wire#(Bool) tx_ready_wire <- mkDWire(False);
     Wire#(Bool) rx_ready_wire <- mkDWire(False);
     Wire#(Bool) switch_mode_wire <- mkDWire(False);
  