anchor.diff:     // (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-exisitent slave, record id and user for error response
  +   // 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));
  
positive.code:        xactors_to_slaves <- replicateM (mkAXI4_Master_Xactor);
  
     // ----------------------------------------------------------------
     // Book-keeping to keep track of which master originated a transaction, in
     // order to route corresponding responses back to that master, etc.
     // Legal slaves  are 0..(num_slaves-1)
     // The "illegal" value of 'num_slaves' is used for decode errors (no such slave)
     // Size of SizedFIFOs is estimated: should cover round-trip latency to slave and back.
  
     // ----------------
  
negative.code:    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_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,
  