64bits counters