storage allocated for
count, succ_collection,
and
bag
countcollection count;
succ_collection succ;