Quiero usar lenguaje C para generar un número de identificación de estudiante de 9 dígitos y agregar 00 en la parte posterior. ¿Cómo lo escribo?

Si es un número entero, el formato de salida es:

int num=1234567;

printf("%09d", num ); salida La longitud es de 9 caracteres, con dígitos insuficientes, comenzando con 0

Salida: 001234567