In spirit of incremental improvement, here is a trivial fix to use %pinstead %d to print pointer. -- maybe we should use context name better.
Regards,Qingqing