int(i64 ^ i32)
