Debugging a C program with "printf( )"