(i + i32) ^ i64
