ary_resize_smaller 3003 array.c            ary_resize_smaller(ary, i2);
ary_resize_smaller 3028 array.c            ary_resize_smaller(ary, i2);
ary_resize_smaller 4433 array.c            ary_resize_smaller(ary, n);