let maybe_grow_ix ra new_lix = guarantee_ix ra new_lix; ra.vlix <- new_lix