i64 - i64 + i32
