> If that periodically-threatened pdp10 port (or some other off-size
> port) ever appears, it's not likely to care about the size that
> appears in some other environment (unlike for on-disk structures) and
> using an explicit size will if anything make life more complicated.

Especially if it's a size that doesn't exist on that port.  Is uint32_t
"32 bits" or "at least 32 bits"?  THe former may well not exist on a
pdp10 port.

/~\ The ASCII                             Mouse
\ / Ribbon Campaign
 X  Against HTML                mo...@rodents-montreal.org
/ \ Email!           7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B

Reply via email to