i32 ^ i64
