text: public void ReadFully(byte[] buf, int off, int len){int max = off + len;for (int i = off; i < max; i++){byte ch;try{ch = (byte)in1.ReadByte();}catch (IOException e){throw new RuntimeException(e);}CheckEOF(ch);buf[i] = ch;}}