change some uint64_t to uint32_t