[i64 ^ i, i32]
