#include <stdio.h>

main(){
  // verify that the expression `getchat() != EOF` is 0 or 1.
  printf("%d \n", getchar() != EOF);

  // print the value of EOF.
  printf("%d \n", EOF);
}