anchor.diff:     rule readDataRule;
         let b <- fifoReadAddrGenerator.addrBeat.get();
         let v = 0;
  -      if (b.addr == 0)
  -	 v <- toGet(indications[rs.first]).get();
  -      else if (b.addr == 4)
  -	 v = extend(pack(indications[rs.first].notEmpty()));
  -      //$display("mkPipeOutMemSlave.readData.get addr=%h data=%h", b.addr, data);
  -      fifoReadDataFifo.enq(MemData { data: v, tag: b.tag, last: b.last });
  +      if (!rsCtrl.first) begin
  +	  if (b.addr == 0)
  +	     v <- toGet(indications[rs.first]).get();
  +	  else if (b.addr == 4)
  +	     v = extend(pack(indications[rs.first].notEmpty()));
  +	  //$display("mkPipeOutMemSlave.readData.get addr=%h data=%h", b.addr, data);
  +	  fifoReadDataFifo.enq(MemData { data: v, tag: b.tag, last: b.last });
  +      end
      endrule
   
      rule write_done;
  
positive.code: 
     rule req_aw;
        let req <- toGet(req_aws).get;
        if (wsCtrl.first)
           ctrl.write_server.writeReq.put(req);
        else
           fifoWriteAddrGenerator.request.put(req);
     endrule
  
     rule req_ar;
        let req <- toGet(req_ars).get;
        if (rsCtrl.first)
           ctrl.read_server.readReq.put(req);
        else
           fifoReadAddrGenerator.request.put(req);
     endrule
  
     FIFO#(MemData#(dataWidth)) rvFifo <- mkFIFO;
     rule rvrule;
        let rv;
        if (rsCtrl.first)
  	 rv <- ctrl.read_server.readData.get();
        else begin
  	 let b <- fifoReadAddrGenerator.addrBeat.get();
  	 let v = 0;
  	 if (b.addr == 4)
  	    v = extend(pack(requests[rs.first].notFull()));
  
negative.code: 
     rule req_aw;
        let req <- toGet(req_aws).get;
        fifoWriteAddrGenerator.request.put(req);
        if (wsCtrl.first)
           ctrl.write_server.writeReq.put(req);
     endrule
  
     rule req_ar;
        let req <- toGet(req_ars).get;
        fifoReadAddrGenerator.request.put(req);
        if (rsCtrl.first)
           ctrl.read_server.readReq.put(req);
     endrule
  
     FIFO#(MemData#(dataWidth)) rvFifo <- mkFIFO;
  