io_ungetbyte
3892 io.c io_ungetbyte(b, fptr);
io_ungetbyte
3952 io.c io_ungetbyte(c, fptr);