public void readFully(byte[] buf, int off, int len) {try {checkEOF(_read(buf, off, len), len);} catch (IOException e) {throw new RuntimeException(e);}}

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;}}
