public static Keyword specialImplementationStyle() {
    if (((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) == Stella.KWD_COMMON_LISP) {
      return (Stella.KWD_COMMON_LISP);
    }
    else if (((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) == Stella.KWD_CPP) {
      return (Stella.KWD_UNBIND_WITH_DESTRUCTORS);
    }
    else if (((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) == Stella.KWD_JAVA) {
      return (Stella.KWD_COMMON_LISP);
    }
    else {
      return (Stella.KWD_UNWIND_PROTECT);
    }
  }