大佬们帮看下，为什么输入ctrl^z输出不了NULL？

#include <stdio.h>
int main(void)
{
char a[20],*c;
c=fgets(a,10,stdin);
if(c)
putchar(*c);
else
printf("NULL");
putchar('\n');
puts(a);
return 0;
}
按说如果fgets遇到EOF的话，会返回NULL值，为啥打印不出来呢？