docs: @Override
    public void readFully(byte[] b, int off, int len) throws IOException {
      while (len > 0) {
        int read = inner.read(b, off, len);
        if (read <= 0) {
          throw new EOFException();
        }
        off += read;
        len -= read;
      }
    }