use %p printf format spec for pointers