aggsum_lower_bound
return (aggsum_lower_bound(&arc_size) >= arc_c + overflow);
int64_t aggsum_lower_bound(aggsum_t *);