anchor.diff:     Vector#(2,FIFOF#(Bit#(entryIdxSize)))  rp <- replicateM(mkFIFOF);
      Vector#(2,FIFOF#(Offset))            offs <- replicateM(mkFIFOF);
      Vector#(2,FIFOF#(ReqTup))            reqs <- replicateM(mkFIFOF);
  +   Vector#(2,FIFOF#(Bit#(3)))      pageSizes <- replicateM(mkFIFOF);
      Vector#(2,FIFO#(Bit#(addrWidth))) pageResponseFifos <- replicateM(mkFIFO);
      Reg#(Bit#(8))                      idxReg <- mkReg(0);
      
  
positive.code:       end
        else begin
  	 Page page = tagged POrd0 0;
  	 if(len == 0) begin
  	    idxReg <= 0;
  	 end 
  	 else begin
  	    idxReg <= idxReg+1;
  	    if (extend(len) == ord0) begin
  
negative.code: 
     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);
  