Just to be an onerous bastard: As the code involves undefined behaviour, it's superfluous to reason about any output.
Only values of type void* are valid arguments in case of the %p conversion specifier as there need not be a uniform pointer representation.