#include <stdio.h>

int main(void) {
        int i = 1;
        char* s;
        sprintf(s, "%04d", i);
        printf("s = %s\n",s);
        return 0;
}