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