It's enough to have this as uint32_t, no need for uint64_t