anchor.diff:  	 return DmaDbgRec{x:fromInteger(valueOf(numServers)), y:?, z:?, w:?};
         endmethod
         method ActionValue#(Bit#(64)) getMemoryTraffic();
  -	 return beatCount;
  +	 return extend(beatCount);
         endmethod
      endinterface
   endmodule
  
positive.code: import ConnectalClocks::*;
  import MMU::*;
  import ConnectalCompletionBuffer::*;
  
  typedef 9 MMU_PIPELINE_DEPTH;
  
  
negative.code:    Reg#(Bit#(BurstLenSize)) burstReg <- mkReg(0);
     Reg#(Bool)               firstReg <- mkReg(True);
     Reg#(Bool)               lastReg <- mkReg(False);
     Reg#(Bit#(BeatCountSize)) beatCount <- mkReg(0);
     let beat_shift = fromInteger(valueOf(beatShift));
  
     Reg#(Bit#(64)) cycle_cnt <- mkReg(0);
  