public static void vizServerExportConcept(LogicObject concept, Module module, OutputStream out) {
    { Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Stella.$MODULE$, module);
        Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
        { VizInfo self000 = VizInfo.newVizInfo();

          self000.showRelationsP = true;
          self000.stream = out;
          { VizInfo info = self000;

            info.vizExportHeader();
            info.vizExportConceptTree(concept, module);
            info.vizExportTrailer();
          }
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Stella.$MODULE$.set(old$Module$000);
      }
    }
  }