Using uint64_t

Unsigned int counters would overflow in large programs.