Use int64 as alias of long long instead of int64_t for simplicity