>> Where do I get a suitable printf format for these types?  I seem to
>> recall that there are macros from some include file, but can't
>> recall enough details - PRIsomething, isn't it?
> Right, <inttypes.h> (which gets it from machine/int_fmthio.h via
> sys/inttypes.h):  [...example...]

This actually turns out to not matter.  My changes don't touch any
printf formats directly; printing is already handled, elsewhere.

I've put a new patch into the PR (with a copy here).

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