public static Cons walkSpecialTree(Cons tree, Object [] MV_returnarray) {
    if (!(((Boolean)(Stella.$SPECIALSENABLEDp$.get())).booleanValue())) {
      { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

        try {
          Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
          Stella.signalTranslationError();
          if (!(Stella.suppressWarningsP())) {
            Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
            {
              Stella.STANDARD_ERROR.nativeStream.println();
              Stella.STANDARD_ERROR.nativeStream.println(" 'special' statement not legal in the current context: ");
              Stella.STANDARD_ERROR.nativeStream.println("`" + Stella_Object.deUglifyParseTree(tree) + "'.");
            }
;
          }

        } finally {
          Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
        }
      }
      return (Stella_Object.walkDontCallMeTree(tree, Stella.SGT_STELLA_VOID, MV_returnarray));
    }
    { boolean testValue000 = false;

      if (tree.length() < 2) {
        testValue000 = true;
      }
      else {
        if (!Stella_Object.consP(tree.rest.value)) {
          testValue000 = true;
        }
        else {
          {
            { boolean alwaysP000 = true;

              { Cons binding = null;
                Cons iter000 = ((Cons)(tree.rest.value));

                loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
                  binding = ((Cons)(iter000.value));
                  if (!(Stella_Object.consP(binding) &&
                      (Stella_Object.symbolP(binding.value) &&
                       (binding.length() == 2)))) {
                    alwaysP000 = false;
                    break loop000;
                  }
                }
              }
              testValue000 = alwaysP000;
            }
            testValue000 = !testValue000;
          }
        }
      }
      if (testValue000) {
        { Object old$PrintreadablyP$001 = Stella.$PRINTREADABLYp$.get();

          try {
            Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
            Stella.signalTranslationError();
            if (!(Stella.suppressWarningsP())) {
              Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
              {
                Stella.STANDARD_ERROR.nativeStream.println();
                Stella.STANDARD_ERROR.nativeStream.println(" Illegal 'special' statement: `" + Stella_Object.deUglifyParseTree(tree) + "'.");
              }
;
            }

          } finally {
            Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$001);
          }
        }
        return (Stella_Object.walkDontCallMeTree(tree, Stella.SGT_STELLA_VOID, MV_returnarray));
      }
    }
    if (((Cons)(tree.rest.value)).length() == 0) {
      tree.firstSetter(Stella.SYM_STELLA_LET);
      return (Cons.walkLetTree(tree, MV_returnarray));
    }
    { GlobalVariable variable = null;

      { Cons binding = null;
        Cons iter001 = ((Cons)(tree.rest.value));

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          binding = ((Cons)(iter001.value));
          variable = ((Symbol)(binding.value)).lookupGlobalVariable();
          if ((variable == null) ||
              (!variable.variableSpecialP)) {
            { Object old$PrintreadablyP$002 = Stella.$PRINTREADABLYp$.get();

              try {
                Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                Stella.signalTranslationError();
                if (!(Stella.suppressWarningsP())) {
                  Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
                  {
                    Stella.STANDARD_ERROR.nativeStream.println();
                    Stella.STANDARD_ERROR.nativeStream.println(" Trying to bind non-special variable `" + binding.value + "'");
                    Stella.STANDARD_ERROR.nativeStream.println(" in 'special' statement.");
                  }
;
                }

              } finally {
                Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$002);
              }
            }
          }
        }
      }
    }
    { Keyword testValue001 = Stella.specialImplementationStyle();

      if (testValue001 == Stella.KWD_COMMON_LISP) {
        return (Cons.walkClSpecialTree(tree, MV_returnarray));
      }
      else if (testValue001 == Stella.KWD_UNBIND_WITH_DESTRUCTORS) {
        return (Cons.walkClSpecialTree(tree, MV_returnarray));
      }
      else if (testValue001 == Stella.KWD_UNWIND_PROTECT) {
        return (Cons.walkUnwindProtectSpecialTree(tree, MV_returnarray));
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("`" + testValue001 + "' is not a valid case option");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
    }
  }