Using uint64_t

Unsigned ints counters would be overflown in large programs.