docs: public static void readFully(Reader input, char[] buffer, int offset, int length) throws IOException {
          int actual = read(input, buffer, offset, length);
          if (actual != length) {
              throw new EOFException("Length to read: " + length + " actual: " + actual);
          }
      }