/* Is there something hanging off the arylen element? */
    if (AvARYLEN((void*)thing)) {
      if (check_new(tv, AvARYLEN((void*)thing))) {
    total_size += thing_size(AvARYLEN((void*)thing), tv);