#include <stdio.h>

/* copy input to output;   */
main()
{
      int c;

      c = getchar();
      while (c != EOF) {
            putchar(c);
            c = getchar();
      }
}


/*
Discuss:

- getchar(): reads next input character from text stream
- why returns int? (not char)
- see 08_copy.c


*/