Question: What's the proper use of printf to display pointers padded with 0s