anchor.diff:  	 if (cmd.len < extend(cmd.burstLen))
   	    x = truncate(cmd.len);
   	 loadf_c.enq(tuple2(truncate(loadIdx),cmd));
  -	 //write_data_funnel.loadIdx(truncate(loadIdx));
   	 if (cond1) begin
   	    outs1[loadIdx] <= False;
   	 end
  
positive.code:    for(Integer i = 0; i < valueOf(numServers); i=i+1)
        rs[i] = (interface Server#(MemengineCmd,Bool);
  		  interface Put request;
  		     method Action put(MemengineCmd cmd) if (outs0[i] < cmd_q_depth);
  			Bit#(32) bsb = fromInteger(bufferSizeBytes);
  `ifdef BSIM	 
  			Bit#(32) dw = fromInteger(valueOf(dataWidthBytes));
  
negative.code:    
     Integer bufferSizeBeats = bufferSizeBytes/valueOf(dataWidthBytes);
     Vector#(numServers, Reg#(Bool))               outs1 <- replicateM(mkReg(False));
     Vector#(numServers, ConfigCounter#(16))        buffCap <- replicateM(mkConfigCounter(0));
     Vector#(numServers, Reg#(MemengineCmd))        cmdRegs <- replicateM(mkReg(unpack(0)));
  
  