pere:  32-bit architectures failing., trying to format a 64-bit value? But from my reading of the format specifier `0x%0*I64x` it doesn't match the docs; I think it ought to be `0x%0I*64x`. Interpretation:
```
"0x" - string
% - format start
0 - flag, zero-pad left
I - flag, locale's alternate output digits
* - field width, read from next argument (that'd be `ADDRWIDTH`)
ll - length modifier
d - signed decimal