use quint64 instead of uint64_t