Use u64 counter instead of u32.