anchor.diff:          Add#(raddr_sz,offset_sz,waddr_sz),
           Bits#(Vector#(ratio, wdata_t), rdata_sz)
       );
  +    let verbose = False;
       FIFO#(Tuple2#(waddr_t, wdata_t)) writeReqFifo <- mkFIFO;
       FIFO#(raddr_t) readReqFifo <- mkFIFO;
       FIFO#(rdata_t) readDataFifo <- mkFIFO;
  
positive.code:     Reg#(Bool)      isInitialized   <- mkReg(False);
  
      Reg#(Bit#(32)) cntr <- mkReg(0);
      rule every1;
        cntr <= cntr + 1;
      endrule
  
  
negative.code:        let v <- toGet(readReqFifo).get;
         rdata_t rdata  <- mem_read(mem_ptr, v);
         readDataFifo.enq(rdata);
         if (verbose) $display("%s %d: read data from %x with index %x = %x", name, cntr, mem_ptr, v, rdata);
      endrule
  
      rule do_write (isInitialized);
  