i64 - i32 + i32
