-i64 ^ i32
