let unsafe_remove_one ra = ra.vlix <- ra.vlix - 1; enforce_strategy ra