__fgetc_resize
int __fgetc_resize(FILE *);
c = __fgetc_resize(infd);
c = __fgetc_resize(infd);
c = __fgetc_resize(infd);
c = __fgetc_resize(infd);
c = __fgetc_resize(infd);
inp = __fgetc_resize(infd);