public static void startupNewPprint() {
    { Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Stella.$MODULE$, Stella.getStellaModule("/ONTOSAURUS", Stella.$STARTUP_TIME_PHASE$ > 1));
        Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
        if (Stella.currentStartupTimePhaseP(2)) {
          _StartupNewPprint.helpStartupNewPprint1();
        }
        if (Stella.currentStartupTimePhaseP(4)) {
          OntosaurusUtil.REUSABLE_SKOLEM_MAPPING_TABLE = ((KeyValueMap)(KeyValueMap.newKeyValueMap()));
          OntosaurusUtil.$PPRINT_ATOMIC_OBJECT_RENDERER$.setDefaultValue(null);
          OntosaurusUtil.$PPRINT_BEFORE_PROPOSITION_FUNCTION$.setDefaultValue(null);
          OntosaurusUtil.$PPRINT_AFTER_PROPOSITION_FUNCTION$.setDefaultValue(null);
          OntosaurusUtil.$PPRINT_BEFORE_DEFINITION_FUNCTION$.setDefaultValue(null);
          OntosaurusUtil.$PPRINT_AFTER_DEFINITION_FUNCTION$.setDefaultValue(null);
          OntosaurusUtil.$PPRINT_INDENT$.setDefaultValue(new Integer(0));
        }
        if (Stella.currentStartupTimePhaseP(6)) {
          Stella.finalizeClasses();
        }
        if (Stella.currentStartupTimePhaseP(7)) {
          Stella.defineFunctionObject("PPRINT-NEWLINE", "(DEFUN PPRINT-NEWLINE ((STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintNewline", new java.lang.Class [] {Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-ATOMIC-OBJECT", "(DEFUN PPRINT-ATOMIC-OBJECT ((SELF OBJECT) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintAtomicObject", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-LITERAL-WRAPPER", "(DEFUN PPRINT-LITERAL-WRAPPER ((SELF LITERAL-WRAPPER) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintLiteralWrapper", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.LiteralWrapper"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-AS-ATOMIC-OBJECT?", "(DEFUN (PPRINT-AS-ATOMIC-OBJECT? BOOLEAN) ((SELF OBJECT)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintAsAtomicObjectP", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object")}), null);
          Stella.defineFunctionObject("PPRINT-COMPOSITE-OBJECT", "(DEFUN PPRINT-COMPOSITE-OBJECT ((SELF OBJECT) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintCompositeObject", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-OBJECT", "(DEFUN PPRINT-OBJECT ((SELF OBJECT) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintObject", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-ARGUMENTS", "(DEFUN PPRINT-ARGUMENTS ((ARGUMENTS ARGUMENTS-VECTOR) (SEPARATELINES? BOOLEAN) (OMITLASTARGUMENT? BOOLEAN) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintArguments", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Vector"), java.lang.Boolean.TYPE, java.lang.Boolean.TYPE, Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("SHORT-TERM?", "(DEFUN (SHORT-TERM? BOOLEAN) ((ARG OBJECT)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "shortTermP", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object")}), null);
          Stella.defineFunctionObject("OPERATOR-TO-STRING", "(DEFUN (OPERATOR-TO-STRING STRING) ((OPERATOR OBJECT)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "operatorToString", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object")}), null);
          Stella.defineFunctionObject("PPRINT-OPERATOR-WITH-ARGUMENTS", "(DEFUN PPRINT-OPERATOR-WITH-ARGUMENTS ((OPERATORNAME STRING) (ARGUMENTS ARGUMENTS-VECTOR) (SEPARATELINES? BOOLEAN) (OMITLASTARGUMENT? BOOLEAN) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintOperatorWithArguments", new java.lang.Class [] {Native.find_java_class("java.lang.String"), Native.find_java_class("edu.isi.stella.Vector"), java.lang.Boolean.TYPE, java.lang.Boolean.TYPE, Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-RELATION-PROPOSITION", "(DEFUN PPRINT-RELATION-PROPOSITION ((SELF PROPOSITION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintRelationProposition", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-FUNCTION-TERM", "(DEFUN PPRINT-FUNCTION-TERM ((SELF PROPOSITION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintFunctionTerm", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-FUNCTION-PROPOSITION", "(DEFUN PPRINT-FUNCTION-PROPOSITION ((SELF PROPOSITION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintFunctionProposition", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-PROPOSITION", "(DEFUN PPRINT-PROPOSITION ((SELF PROPOSITION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintProposition", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-QUANTIFIED-VARIABLES", "(DEFUN PPRINT-QUANTIFIED-VARIABLES ((VARIABLES (VECTOR OF SKOLEM)) (INCLUDETYPES? BOOLEAN) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintQuantifiedVariables", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Vector"), java.lang.Boolean.TYPE, Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-NAMED-DESCRIPTION", "(DEFUN PPRINT-NAMED-DESCRIPTION ((SELF NAMED-DESCRIPTION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintNamedDescription", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.NamedDescription"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-DESCRIPTION", "(DEFUN PPRINT-DESCRIPTION ((SELF DESCRIPTION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintDescription", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-DESCRIPTION-BODY", "(DEFUN PPRINT-DESCRIPTION-BODY ((DESCRIPTION DESCRIPTION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintDescriptionBody", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-NAMED-DESCRIPTIONS-AS-RULE", "(DEFUN PPRINT-NAMED-DESCRIPTIONS-AS-RULE ((HEAD NAMED-DESCRIPTION) (TAIL NAMED-DESCRIPTION) (OPERATORPREFIX STRING) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintNamedDescriptionsAsRule", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.NamedDescription"), Native.find_java_class("edu.isi.powerloom.logic.NamedDescription"), Native.find_java_class("java.lang.String"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("HELP-PPRINT-DESCRIPTIONS-AS-RULE", "(DEFUN HELP-PPRINT-DESCRIPTIONS-AS-RULE ((DESC DESCRIPTION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "helpPprintDescriptionsAsRule", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-DESCRIPTIONS-AS-RULE", "(DEFUN PPRINT-DESCRIPTIONS-AS-RULE ((HEAD DESCRIPTION) (TAIL DESCRIPTION) (RULE PROPOSITION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintDescriptionsAsRule", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description"), Native.find_java_class("edu.isi.powerloom.logic.Description"), Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-IMPLIES-PROPOSITION", "(DEFUN PPRINT-IMPLIES-PROPOSITION ((SELF PROPOSITION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintImpliesProposition", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-STELLA-COLLECTION", "(DEFUN PPRINT-STELLA-COLLECTION ((SELF COLLECTION) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintStellaCollection", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Collection"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-STELLA-CONS", "(DEFUN PPRINT-STELLA-CONS ((SELF CONS) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintStellaCons", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Cons"), Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-DEFINITION", "(DEFUN PPRINT-DEFINITION ((SELF CONS) (HASVARIABLES? BOOLEAN) (STREAM NATIVE-OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintDefinition", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Cons"), java.lang.Boolean.TYPE, Native.find_java_class("java.io.PrintStream")}), null);
          Stella.defineFunctionObject("PPRINT-ONTOSAURUS-OBJECT", "(DEFUN PPRINT-ONTOSAURUS-OBJECT ((SELF OBJECT) (STREAM OUTPUT-STREAM)))", Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintOntosaurusObject", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("edu.isi.stella.OutputStream")}), null);
          Stella.defineFunctionObject("STARTUP-NEW-PPRINT", "(DEFUN STARTUP-NEW-PPRINT () :PUBLIC? TRUE)", Native.find_java_method("edu.isi.ontosaurus._StartupNewPprint", "startupNewPprint", new java.lang.Class [] {}), null);
          { MethodSlot function = Symbol.lookupFunction(OntosaurusUtil.SYM_ONTOSAURUS_STARTUP_NEW_PPRINT);

            KeyValueList.setDynamicSlotValue(function.dynamicSlots, OntosaurusUtil.SYM_STELLA_METHOD_STARTUP_CLASSNAME, StringWrapper.wrapString("_StartupNewPprint"), Stella.NULL_STRING_WRAPPER);
          }
        }
        if (Stella.currentStartupTimePhaseP(8)) {
          Stella.finalizeSlots();
          Stella.cleanupUnfinalizedClasses();
        }
        if (Stella.currentStartupTimePhaseP(9)) {
          Stella_Object.inModule(((StringWrapper)(Stella_Object.copyConsTree(StringWrapper.wrapString("ONTOSAURUS")))));
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFCONSTANT REUSABLE-SKOLEM-MAPPING-TABLE (ENTITY-MAPPING OF SKOLEM SKOLEM) (NEW ENTITY-MAPPING) :DOCUMENTATION \"Stores reusable key-value list for use by\n'print-descriptions-as-kif-rule'.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *PPRINT-ATOMIC-OBJECT-RENDERER* FUNCTION-CODE NULL :PUBLIC? TRUE :DOCUMENTATION \"A function that takes two arguments, a Stella Object\nand a NATIVE-(?) OUTPUT-STREAM, and writes a representation of that\nobject on that stream.  This will only be called on `atomic' Stella\nobjects -- compound objects like Conses, Propositions, etc. are handled\nby the outer code.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *PPRINT-BEFORE-PROPOSITION-FUNCTION* FUNCTION-CODE NULL :PUBLIC? TRUE :DOCUMENTATION \"A function that takes two arguments, a Stella Proposition\nand a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the\nnormal printed representation of a proposition.   This will only be called \non `PROPOSITION' objects.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *PPRINT-AFTER-PROPOSITION-FUNCTION* FUNCTION-CODE NULL :PUBLIC? TRUE :DOCUMENTATION \"A function that takes two arguments, a Stella Proposition\nand a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the\nnormal printed representation of a proposition.   This will only be called \non `PROPOSITION' objects.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *PPRINT-BEFORE-DEFINITION-FUNCTION* FUNCTION-CODE NULL :PUBLIC? TRUE :DOCUMENTATION \"A function that takes two arguments, a Stella Definition\nand a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the\nnormal printed representation of a definition.   This will only be called \non `DEFINITION' objects.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *PPRINT-AFTER-DEFINITION-FUNCTION* FUNCTION-CODE NULL :PUBLIC? TRUE :DOCUMENTATION \"A function that takes two arguments, a Stella Definition\nand a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the\nnormal printed representation of a definition.   This will only be called \non `DEFINITION' objects.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *PPRINT-INDENT* INTEGER 0)");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFGLOBAL *DOWNCASE-STANDARD-KIF-OPERATORS?* BOOLEAN TRUE)");
          Logic.registerLogicDialectPrintFunction(OntosaurusUtil.KWD_KIF_ONTOSAURUS, FunctionCodeWrapper.wrapFunctionCode(Native.find_java_method("edu.isi.ontosaurus.OntosaurusUtil", "pprintOntosaurusObject", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("edu.isi.stella.OutputStream")})));
        }

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