public static Cons walkHardcodedSymbolCaseTree(Cons tree, Object [] MV_returnarray) {
    tree.secondSetter(Cons.list$(Cons.cons(Stella.SYM_STELLA_SYMBOL_ID, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CAST, Cons.cons(tree.rest.value, Cons.cons(Cons.cons(Stella.SYM_STELLA_GENERALIZED_SYMBOL, Stella.NIL), Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))));
    { Cons cond = null;
      Cons iter000 = ((Cons)(tree.rest.rest));

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        cond = ((Cons)(iter000.value));
        cond.firstSetter(Stella_Object.yieldHardcodedCaseSymbolIdOrIds(cond.value));
      }
    }
    return (Cons.walkCaseTree(tree, MV_returnarray));
  }