commented printf in printf.c