text: public virtual void unread(int oneByte){if (buf == null){throw new System.IO.IOException();}if (pos == 0){throw new System.IO.IOException("Pushback buffer full");}buf[--pos] = unchecked((byte)oneByte);}