i64 ^ i32
