public static void vizExportModuleToFile(Module module, String file) {
    { OutputFileStream out = null;

      try {
        out = Stella.openOutputFile(file, Stella.NIL);
        { 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.vizExportModule(module);
                info.vizExportTrailer();
              }
            }

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

      } finally {
        if (out != null) {
          out.free();
        }
      }
    }
  }