Update printf.c