let guarantee_ix ra ix = if real_lix ra < ix then resizer ra.vlix ra (Strategy.grow ra.strategy (ix + 1))