getchar 함수 문제인데요..

 #include <stdio.h>

 int main()
 {
   int   i = 0;
   char  c;

   while ( (c = getchar()) != EOF )
   {
     printf("%d : %c\n", i++, c);
   }

   return 0;
 }

문자를 한번 입력받고 출력은 두번시키는 결과가 나오네요 ㅡ.ㅡ;;
이거 왜 이렇죠?