getwc
wint_t getwc(FILE *);
#define getwchar() getwc(stdin)
ATF_REQUIRE_EQ(getwc(fp),
ATF_REQUIRE_EQ(getwc(fp), WEOF);
# define CUT_GETC getwc
c = getwc(fi);
c = getwc(fi);
c = getwc(fi);
c = getwc(fi);
c = getwc(fi);
c = getwc(fp);
rachar = getwc(fp);