max(i64 + i32)
