(Rice) Replace long long with int64_t