anchor.diff:     interface Get resp_read;
         method ActionValue#(Axi3ReadResponse#(_b,_c)) get();
   	 let rv <- ifcs[rs].resp_read.get();
  +	 req_ar_fifo.deq;
   	 return rv;
         endmethod
      endinterface
  
positive.code: 	    wsv = fromInteger(valueOf(numInputs));
  	 ifcs[wsv].req_aw.put(req);
  	 ws <= wsv;
  	 if (wsv > 0)
  	    latchWriteInterval;
        endmethod
  
negative.code:    
     Vector#(3,Reg#(Bit#(64))) writeIntervals <- replicateM(mkReg(0));
     Vector#(3,Reg#(Bit#(64))) readIntervals <- replicateM(mkReg(0));
  
     FIFO#(void) req_ar_fifo <- mkPipelineFIFO;
     FIFO#(void) req_aw_fifo <- mkPipelineFIFO;
     
     rule xferIntervals;
        dir.writeIntervals[0] <= writeIntervals[0];
  