anchor.diff:     Vector #(tn_num_masters, FIFOF #(Bit #(log_ns_plus_1))) v_f_wr_sjs <- replicateM (mkSizedFIFOF (8));
   
      // On an mi->sj write-transaction, this fifo records mi for slave sj
  -   Vector #(tn_num_slaves,  FIFOF #(Bit #(log_nm))) v_f_wr_mis  <- replicateM (mkSizedFIFOF (8));
  +   Vector #(tn_num_slaves,  FIFOF #(Bit #(log_nm_plus_1))) v_f_wr_mis  <- replicateM (mkSizedFIFOF (8));
   
      // On an mi->sj write-transaction, this fifo records a task (sj, awlen) for W channel
      Vector #(tn_num_masters,
  
positive.code: 
     provisos (Log #(tn_num_masters, log_nm),
  	     Log #(tn_num_slaves,  log_ns),
  	     Log #(TAdd #(tn_num_slaves,  1), log_ns_plus_1),
  	     Add #(_dummy, TLog #(tn_num_slaves), log_ns_plus_1));
  
     Integer num_masters = valueOf (tn_num_masters);
     Integer num_slaves  = valueOf (tn_num_slaves);
  
negative.code:    // (0 => ready for next burst)
     Vector #(tn_num_masters, Reg #(AXI4_Len)) v_rg_wd_beat_count <- replicateM (mkReg (0));
  
     // On a write-transaction to non-existent slave, record id and user for error response
     Vector #(tn_num_masters,
  	    FIFOF #(Tuple2 #(Bit #(wd_id),
  			     Bit #(wd_user))))  v_f_wr_err_info <- replicateM (mkSizedFIFOF (8));
  