let unsafe_remove_n ra n =
let old_vlix = ra.vlix in
let old_ar = ra.ar in
ra.vlix <- old_vlix - n;
enforce_strategy ra;
if old_ar == ra.ar then
for i = ra.vlix + 1 to old_vlix do
Impl.unsafe_set old_ar i None
done