change uint64_t to INTTYPE