anchor.diff:        end
         else begin
   	 Page page = tagged POrd0 0;
  -	 if(len == 0) begin
  +	 if (len == 0) begin
   	    idxReg <= 0;
  -	 end 
  +	 end
   	 else begin
   	    idxReg <= idxReg+1;
   	    if (extend(len) == ord0) begin
  
positive.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);
  
negative.code:       dmaIndication.configResp(ptr, barr0);
     endrule
  
     FIFO#(Tuple3#(Bit#(32),Bit#(40),Bit#(32))) sglistFifo <- mkFIFO();
     rule sglistRule;
        match { .ptr, .paddr, .len } <- toGet(sglistFifo).get();
  
        // $display("sglist(ptr=%d, paddr=%h, len=%h", ptr, paddr,len);
        if (idxReg+1 == 0) begin
  	 $display("sglist: exceeded maximun length of sglist");
  