anchor.diff:  			re_value = re_value ^ g_slots[j].value;
   		end
   		rec_value <= re_value;
  -		$display("[%d]: mslot addr: %d", $time, re_maddr);
  +		$display("[%0d]: mslot addr: %d", $time, re_maddr);
   		m_table.a.put(False, re_maddr, ?);
           stage2_ff.enq(req);
   	endrule
  
positive.code:              inited <= True;
               m_table.b.put(True, ~0, unpack(0));
               mslot_counter <= 0;
            end
         end
      endrule
  
negative.code: import BRAMCore::*;
  import StmtFSM::*;
  
  `define FAST_VALUE
  
  interface DMHCIfc#(numeric type num_entries, numeric type k, numeric type c, numeric type key_width, numeric type value_width);
  	method Bool is_enabled();
  	method Action flush();
  