Use i64 instead of int