public static void printKifStellaCollection(Collection self) {
    { OutputStream stream = ((OutputStream)(Logic.$PRINTLOGICALFORMSTREAM$.get()));

      stream.nativeStream.print("(" + ((self.noDuplicatesP() ? Logic.stringifiedSurrogate(Logic.SGT_PL_KERNEL_KB_SETOF) : Logic.stringifiedSurrogate(Logic.SGT_PL_KERNEL_KB_LISTOF))));
      { Stella_Object m = null;
        Iterator iter000 = ((Iterator)(self.allocateIterator()));

        while (iter000.nextP()) {
          m = iter000.value;
          stream.nativeStream.print(" ");
          Logic.printAsKifInternal(m);
        }
      }
      stream.nativeStream.print(")");
    }
  }