text: public virtual void unread(byte[] buffer, int offset, int length){if (length > pos){throw new System.IO.IOException("Pushback buffer full");}java.util.Arrays.checkOffsetAndCount(buffer.Length, offset, length);if (buf == null){throw streamClosed();}System.Array.Copy(buffer, offset, buf, pos - length, length);pos = pos - length;}