@Override
 public void readBytes(byte[] b, int pos, int length) throws IOException {
   file.read(b, pos, length);
 }
 @Override
 public byte readByte() throws IOException {
   byte[] b = new byte[1];
   file.read(b, 0, 1);
   return b[0];
 }