anchor.diff:  	 let ptr = tpl_1(reqs[i].first);
   	 let off = tpl_2(reqs[i].first);
   	 Offset o = tagged OOrd0 0;
  -	 Bit#(8) p = 0;
  +	 Bit#(8) pbase = 0;
  +	 Bit#(8) idxOffset = 0;
   	 Region region8 <- portsel(reg8,i).response.get;
   	 Region region4 <- portsel(reg4,i).response.get;
   	 Region region0 <- portsel(reg0,i).response.get;
  
positive.code:       endrule
     end
     
     Vector#(2,Server#(ReqTup,Bit#(addrWidth))) addrServers;
     for(Integer i = 0; i < 2; i=i+1)
        addrServers[i] = 
        (interface Server#(ReqTup,Bit#(addrWidth));
  	  interface Put request;
  	     method Action put(ReqTup req);
  		let ptr = tpl_1(req);
  		let off = tpl_2(req);
  		portsel(reg8, i).request.put(BRAMRequest{write:False, responseOnWrite:False, address:truncate(ptr-1), datain:?});
  		portsel(reg4, i).request.put(BRAMRequest{write:False, responseOnWrite:False, address:truncate(ptr-1), datain:?});
  		portsel(reg0, i).request.put(BRAMRequest{write:False, responseOnWrite:False, address:truncate(ptr-1), datain:?});
  		reqs[i].enq(req);
  	     endmethod
  	  endinterface
  	  interface Get response;
  
negative.code:    BRAM2Port#(RegionsIdx, Region)       reg4 <- mkBRAM2Server(defaultValue);
     BRAM2Port#(RegionsIdx, Region)       reg0 <- mkBRAM2Server(defaultValue);
  
     Vector#(2,FIFOF#(SGListId))          ptrs <- replicateM(mkFIFOF);
     Vector#(2,FIFOF#(Bit#(8)))         pbases <- replicateM(mkFIFOF);
     Vector#(2,FIFOF#(Bit#(8)))     idxOffsets <- replicateM(mkFIFOF);
     Vector#(2,FIFOF#(Bit#(entryIdxSize)))  rp <- replicateM(mkFIFOF);
     Vector#(2,FIFOF#(Offset))            offs <- replicateM(mkFIFOF);
     Vector#(2,FIFOF#(ReqTup))            reqs <- replicateM(mkFIFOF);
  