(i32 + i64) ^ i
