public static void clOutputOneUnit(TranslationUnit unit, PrintableStringWriter stream) {
    { Stella_Object translation = unit.translation;

      if (translation == null) {
        System.out.println("`" + unit + "' has a NULL translation.");
        return;
      }
      if (unit.category != null) {
        if (!(TranslationUnit.auxiliaryVariableUnitP(unit))) {
          stream.println();
        }
        if (unit.annotation != null) {
          {
            stream.println(";;; " + unit.annotation);
            stream.println();
          }
;
        }
        if (Stella_Object.isaP(translation, Stella.SGT_STELLA_CONS) &&
            (((Cons)(translation)).value == Stella.internCommonLispSymbol("PROGN"))) {
          { Stella_Object form = null;
            Cons iter000 = ((Cons)(translation)).rest;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              form = iter000.value;
              Stella_Object.printStellaDefinition(form, stream);
            }
          }
        }
        else {
          Stella_Object.printStellaDefinition(translation, stream);
        }
        unit.category = null;
      }
    }
  }