anchor.diff:     Reg#(Bit#(32)) lastGather <- mkReg(0);
      Reg#(Bit#(32)) macs <- mkReg(0);
      
  -   let gather_phase = lastCnt == fromInteger(kk);
      
      (* fire_when_enabled *)
      rule connect_adder_buffer;
  
positive.code:       adder.request.put(tuple2(resp,acc));
        if(last) begin
  	 lastCnt <= lastCnt+1;
        end
  `ifdef TAGGED_TOKENS
        let row = rowReg;
  
negative.code: 	    gatherCnt <= 0;
  	    lastCnt <= 0;
  	    firstCnt <= 0;
  	    gather_phase <= False;
  	 end 
        end
     endrule   
  