int(i32 ^ i64)
