public static void helpLptrans(Stella_Object statement) {
    { Object old$Translatoroutputlanguage$000 = Stella.$TRANSLATOROUTPUTLANGUAGE$.get();
      Object old$PrintprettycodeP$000 = Stella.$PRINTPRETTYCODEp$.get();

      try {
        Native.setSpecial(Stella.$TRANSLATOROUTPUTLANGUAGE$, ((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())));
        Native.setBooleanSpecial(Stella.$PRINTPRETTYCODEp$, true);
        Keyword.setTranslatorOutputLanguage(Stella.KWD_COMMON_LISP);
        { boolean declarationP = Cons.declarationTreeP(((Cons)(statement)));
          Stella_Object translation = Stella_Object.incrementallyTranslate(statement);

          if (declarationP &&
              (Stella_Object.consP(translation) &&
               (((Cons)(translation)).value == Stella.internCommonLispSymbol("PROGN")))) {
            { Stella_Object elt = null;
              Cons iter000 = ((Cons)(translation)).rest;
              int i = Stella.NULL_INTEGER;
              int iter001 = 1;

              for (;!(iter000 == Stella.NIL); iter000 = iter000.rest, iter001 = iter001 + 1) {
                elt = iter000.value;
                i = iter001;
                if (i == 1) {
                  Stella_Object.printStellaDefinition(elt, Stella.STANDARD_OUTPUT.nativeStream);
                }
                else {
                  Stella_Object.printStellaCode(elt, Stella.STANDARD_OUTPUT.nativeStream);
                }
              }
            }
          }
          else {
            Stella_Object.printStellaCode(translation, Stella.STANDARD_OUTPUT.nativeStream);
          }
        }

      } finally {
        Stella.$PRINTPRETTYCODEp$.set(old$PrintprettycodeP$000);
        Stella.$TRANSLATOROUTPUTLANGUAGE$.set(old$Translatoroutputlanguage$000);
      }
    }
  }