anchor.diff:  import Assert::*;
   import ClientServer::*;
   import BRAM::*;
  +import BRAMFIFO::*;
  +import Connectable::*;
   
   import PortalMemory::*;
   import MemTypes::*;
  
positive.code: 	    if (new_respCnt == rc) begin
  	       respCnt <= 0;
  	       workf.deq;
  	       //$display("eob %d", idx);
  	       l = last;
  	    end
  
negative.code:    
     Vector#(numServers, Server#(MemengineCmd,Bool)) rs;
     for(Integer i = 0; i < valueOf(numServers); i=i+1)
        rs[i] = (interface Server#(MemengineCmd,Bool);
  		  interface Put request;
  		     method Action put(MemengineCmd c) if (outs0[i] < cmd_q_depth);
  			outs0[i] <= outs0[i]+1;
  			cmds_in[i].enq(tuple2(fromInteger(i),c));
   		     endmethod
  		  endinterface
  		  interface Get response;
  		     method ActionValue#(Bool) get;
  			outfs[i].deq;
  	 		outs0[i] <= outs0[i]-1;
  			return True;
  		     endmethod
  		  endinterface
  	       endinterface);
     interface readServers = rs;
     interface ObjectReadClient dmaClient;
        interface Get readReq;
  