https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107884
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Oh, except that we pass it to cplus_demangle(const char*, int) and so anything above the first 16 bits is lost anyway. Should that function use int32_t instead?
