docs: private void updatePointer(long next_ptr, long next_value)
                      throws IOException,
                      EOFException {
          filemgr.seek(next_ptr);
          filemgr.writeLong(next_value);
      }