public static void pprintStellaCollection(Collection self, org.powerloom.PrintableStringWriter stream) {
    { boolean setP = self.noDuplicatesP();
      boolean firstP = true;

      if (setP) {
        {
          stream.print("(" + OntosaurusUtil.operatorToString(OntosaurusUtil.SGT_PL_KERNEL_KB_SETOF));
          Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 7);
        }
      }
      else {
        {
          stream.print("(" + OntosaurusUtil.operatorToString(OntosaurusUtil.SGT_PL_KERNEL_KB_LISTOF));
          Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 8);
        }
      }
      switch (self.length()) {
        case 0:
        break;
        case 1:
          { Stella_Object m = null;
            Iterator iter000 = ((Iterator)(self.allocateIterator()));

            while (iter000.nextP()) {
              m = iter000.value;
              OntosaurusUtil.pprintObject(m, stream);
            }
          }
        break;
        case 2:
        case 3:
          { Stella_Object m = null;
            Iterator iter001 = ((Iterator)(self.allocateIterator()));

            while (iter001.nextP()) {
              m = iter001.value;
              stream.print(" ");
              OntosaurusUtil.pprintObject(m, stream);
            }
          }
        break;
        default:
          { Stella_Object m = null;
            Iterator iter002 = ((Iterator)(self.allocateIterator()));

            while (iter002.nextP()) {
              m = iter002.value;
              if (firstP) {
                {
                  stream.print(" ");
                  firstP = false;
                }
              }
              else {
                OntosaurusUtil.pprintNewline(stream);
              }
              OntosaurusUtil.pprintObject(m, stream);
            }
          }
        break;
      }
      stream.print(")");
      if (setP) {
        Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 7);
      }
      else {
        Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 8);
      }
    }
  }