Update counting.cc