codice:
int stato = getchar() != EOF;

printf("%d\n", stato);