Use 64 bits for debug counters