public static int totalRecycleListsSize() {
    { int size = 0;

      { RecycleList list = null;
        Cons iter000 = Stella.$ALL_RECYCLE_LISTS$.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          list = ((RecycleList)(iter000.value));
          size = size + (list.itemSize * list.currentLength);
        }
      }
      return (size);
    }
  }