change some uint64_t to INTTYPE