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: 
  import Vector::*;
  import GetPut::*;
  import SpecialFIFOs::*;
  import FIFO::*;
  
  import AxiMasterSlave::*;
  import Portal::*;
  