i64 + 1 + i32
