On Fri, Aug 12, 2011 at 11:16, Michael Matz <m...@suse.de> wrote: > I see downthread that this is changed to hwi/uhwi already. I even would > have suggested int/uint directly, as we never stream other numbers than > host_wide_ints or chars.
For now, that's true. Over in PPH we do stream out ints/uints, and those will likely move up to data-streamer.[ch]. Diego.