modify uint32_t to uint64_t