int getchar(void) /* returns either: * 1. In SUCCESS: The character read as an unsigned char casted to an int. * 2. In FAILURE: EOF on end of file or error. */