io_ungetbyte     2858 io.c               io_ungetbyte(b, fptr);
io_ungetbyte     2914 io.c                   io_ungetbyte(c, fptr);