Drukowanie wiodących 0 w C?

Próbuję znaleźć dobry sposób na wydrukowanie wiodących 0, takich jak 01001 dla kodu pocztowego. Podczas gdy liczba będzie przechowywana jako 1001, jaki jest dobry sposób, aby to zrobić?

Pomyślałem o użyciu obu instrukcji case / jeśli następnie obliczyć ile cyfr jest liczba, a następnie przekonwertować ją na tablicę char z dodatkowymi 0 do drukowania, ale nie mogę pomóc, ale myślę, że może być sposób na zrobienie tego za pomocą składnia formatu printf, która mi wymyka się.

questionAnswers(10)

yourAnswerToTheQuestion