int64 -> int64_t