anchor.diff:  	     Add#(a__, serverIdxSz, cmdBuffAddrSz),
   	     Min#(2,TLog#(numServers),bpc),
   	     Add#(d__, TLog#(numServers), TAdd#(1, serverIdxSz)),
  -	     Add#(f__, serverIdxSz, 6));
  +	     Add#(f__, serverIdxSz, MemTagSize));
      let verbose = False;
      let beatShift = fromInteger(valueOf(beatShift));
   
  
positive.code: // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  // SOFTWARE.
  import Vector::*;
  import Cntrs::*;
  import FIFOF::*;
  import FIFO::*;
  
negative.code: import MemTypes::*;
  import Pipe::*;
  import MemUtils::*;
  import ConnectalConfig::*;
  
  `include "ConnectalProjectConfig.bsv"
  
  