type(i64 + i64)
