*/
  public static void cpptrans(Stella_Object statement) {
    { Object old$Translatoroutputlanguage$000 = Stella.$TRANSLATOROUTPUTLANGUAGE$.get();
      Object old$CurrentStream$000 = Stella.$CURRENT_STREAM$.get();

      try {
        Native.setSpecial(Stella.$TRANSLATOROUTPUTLANGUAGE$, ((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())));
        Native.setSpecial(Stella.$CURRENT_STREAM$, Stella.STANDARD_OUTPUT);
        Keyword.setTranslatorOutputLanguage(Stella.KWD_CPP);
        Stella_Object.incrementallyTranslate(statement);

      } finally {
        Stella.$CURRENT_STREAM$.set(old$CurrentStream$000);
        Stella.$TRANSLATOROUTPUTLANGUAGE$.set(old$Translatoroutputlanguage$000);
      }
    }
  }