> 32 bits elsewhere.  I think int should be 32 bits on all platforms so
> that we don't waste too much memory.

On the alpha, the memory usage usually comes from pointers being 64
bit, not from the size of int. There are several memory models on
Digital Unix -- one where pointers really are "only" 32 bits, which is
deprecated, and one where pointers are 64 bits *and* there are no
valid pointers with the upper 32 bits zero -- which I think is
wonderful, as it finally bites everyone who used int where they
should've used void*.

Consider that the Alpha 8400 ships with up to 14GB of RAM (the
AltaVista server only uses 8G, but they've sold 14G models "off the
shelf") 32 bit pointers just don't cut it :-)

For the case of printf, the "promotion size" of int is what actually
matters, and I'd have to look at the standard to see what it says
about mucking with that [if you have complete prototypes, then you
could have int promote to 64 bit, then the things that use stdarg
would have to deal, but they'd always get "enough" bits, and you'd
just have to make %d print all 64 bits. I'm not sure if this is clean
enough, feel free to shoot it full of holes...]

			_Mark_ <eichin@kitten.gen.ma.us>
			The Herd of Kittens