Perché usi printf("%d", num) o fpintf(stdout, "%d", num); o qualcosa del genere, che stampa a video ciò che dovrebbe stampare il file... posta il codice