i64 ^ (i64 + i32)
