unget_char
static int unget_char = -1;
unget_char = c;
if (unget_char >= 0) {
c = unget_char;
unget_char = -1;
unget_char(ch, file);
unget_char(ch, file);
unget_char(ch, file);
unget_char(ch, file);
unget_char(ch, file);
unget_char(ch, file);
unget_char(ch, file);
unget_char(int, FILE *),
unget_char(ch, file);