【c语言】【求大神】【急！在线等！】十进制转二进制，想让输出的长度统一为4位，怎么实现前面补零？？？

如题，因为编程需要，所以要输出的长度统一为4位（如1，输出结果为0001）在输出改成“%04d”，结果就会出错，遭遇了瓶颈，求大神解决！！！！
void trans(int x){ int a[4]; int i=0,rem; do{ rem=x%2;x=x/2; a[i]=rem; i++; }while(x!=0); while(i>0) printf("%d",a[--i]); printf("\n");}