/* 

    prove di fgetc() per leggere da file 
    un carattere alla volta, successivamente 
    mostrato sul terminale ('stampato') con putchar()

*/

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main() {
  FILE *fp;
  char c, pi[1010];   
  int i, nc;
 
  fp = fopen("pi1000.txt", "r");

  nc=0;
  while( ( c = fgetc(fp) ) != EOF) {
    pi[nc++] = c;
    putchar(c);
  }

  fclose(fp);

  printf("letti %d caratteri\n", nc); 
  
  return 0;
}