For consideration: Maybe it would be useful to change %p format to be compatible with libc:

In the GNU C Library, non-null pointers are printed as unsigned integers, as if a ‘%#x’ conversion were used. Null pointers print as ‘(nil)’. (Pointers might print differently in other systems.)

Or make this compile-time configurable ...