i64 ^ i32 != i32
