우편번호처럼 딱 5자리 6자리에 맞춰 정수를 출력할 건데요 제가 짠 코드보다 더 쉬운 방법은 없을까요?

소스코드

/*
num : 출력할 정수, 
len : 자릿수
*/
void printWith0(int num, int len){
    int num0 = len-num/10;
    int i;
    for (i=1; i<num0; i++) {
        printf("0");
    }
    printf("%d", num);
}


int main() {
    int mynum = 1;
    printWith0(mynum, 5);
}