public static void saveIndexFile(Cons index) {
    System.out.println("Saving index " + GuiServer.$KB_FILENAME_INDEX$ + "...");
    { OutputFileStream outstream = OutputFileStream.newOutputFileStream(GuiServer.$KB_FILENAME_INDEX$);

      outstream.nativeStream.println("(");
      { Cons tuple = null;
        Cons iter000 = index;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          tuple = ((Cons)(iter000.value));
          outstream.nativeStream.println("  (\"" + ((StringWrapper)(tuple.value)).wrapperValue + "\" \"" + ((StringWrapper)(tuple.rest.value)).wrapperValue + "\" \"" + ((StringWrapper)(tuple.rest.rest.value)).wrapperValue + "\" \"" + ((StringWrapper)(tuple.fourth())).wrapperValue + "\")");
        }
      }
      outstream.nativeStream.println(")");
      Stream.closeStream(outstream);
    }
  }