check_getchar
while (check_getchar())
for (i = 0; i < 100 && (c = check_getchar()) == 0; i++) {
int check_getchar(void);