/*
   * dump document to file
   *
   * call-seq:
   *   doc.dump(IO) -> nil
   */
  void dump_file(FILE *fp) {