anchor.diff:  endmodule
   
   
  +	       
positive.code:       complBuff.deq(newName);
     endrule
        
     rule drain_resp;
        match {.data,.last} <- complBuff.first_resp;
        if (last)
  
negative.code: 	    ,Add#(c__, TLog#(numServers), TLog#(TMul#(cmdQDepth, numServers)))
  	    ,Add#(1, d__, dataWidth)
  	    ,FunnelPipesPipelined#(1, numServers, Tuple3#(Bit#(2),Bit#(dataWidth),Bool), TMin#(2, TLog#(numServers)))
  	    ,FunnelPipesPipelined#(1, numServers,Tuple3#(Bit#(TLog#(numServers)), Bit#(dataWidth), Bool), TMin#(2,TLog#(numServers)))
  	    );
     let rv <- mkMemwriteEngineBuff(256);
     return rv;
  