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