Printing leading 0's in C?

Question

I\'m trying to find a good way to print leading 0\'s, such as 01001 for a zipcode. While the number would be stored as 1001, what is a good way to do it?

I thought

Answer 1

sprintf(mystring, "%05d", myInt);

Here, "05" says "use 5 digits with leading zeros".