"%p" formatting already includes "0x" prefix in printout.