readbyte_from_stdio  512 src/lread.c      return readbyte_from_stdio ();
readbyte_from_stdio  900 src/lread.c      return make_fixnum (readbyte_from_stdio ());