public static Cons walkExceptionCaseTree(Cons tree, Object [] MV_returnarray) {
    if (tree.length() <= 2) {
      { 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(" Missing handler(s) in 'exception-case': `" + Stella_Object.deUglifyParseTree(tree) + "'.");
            }
;
          }

        } finally {
          Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
        }
      }
      return (Stella_Object.walkDontCallMeTree(tree, Stella.SGT_STELLA_VOID, MV_returnarray));
    }
    { Stella_Object protectedtree = Stella_Object.walkATree(tree.rest.value, new Object[1]);
      Cons handlertrees = Cons.walkExceptionHandlerTrees(tree.rest.rest);

      if ((protectedtree == null) ||
          (handlertrees == null)) {
        return (Stella_Object.walkDontCallMeTree(tree, Stella.SGT_STELLA_VOID, MV_returnarray));
      }
      { Cons _return_temp = Cons.list$(Cons.cons(Stella.SYM_STELLA_SYS_HANDLER_CASE, Cons.cons(Stella_Object.walkATree(protectedtree, new Object[1]), Cons.cons(handlertrees.concatenate(Stella.NIL, Stella.NIL), Stella.NIL))));

        MV_returnarray[0] = Stella.SGT_STELLA_VOID;
        return (_return_temp);
      }
    }
  }