modified:   printf.c