9408e822a5
to avoid misinterpreting the 0x8000 bit as a negative sign, . use the <machine/wtio.h> register def's to print them.