public static int safeTreeSize(Cons tree, Object [] MV_returnarray) {
    { Object old$DepthexceededP$000 = Stella.$DEPTHEXCEEDEDp$.get();

      try {
        Native.setBooleanSpecial(Stella.$DEPTHEXCEEDEDp$, false);
        { int cutoff = 99;
          int size = Cons.safelyComputeTreeSize(tree, 0, cutoff);

          { int _return_temp = size;

            MV_returnarray[0] = StringWrapper.wrapString(((((Boolean)(Stella.$DEPTHEXCEEDEDp$.get())).booleanValue() ||
                (size >= cutoff)) ? "CIRCULAR" : "OK"));
            return (_return_temp);
          }
        }

      } finally {
        Stella.$DEPTHEXCEEDEDp$.set(old$DepthexceededP$000);
      }
    }
  }