let unsafe_remove_one ra = Impl.unsafe_set ra.ar ra.vlix None; ra.vlix <- ra.vlix - 1; enforce_strategy ra