int(i64) ^ i32
