let unsafe_remove_n ra n = ra.vlix <- ra.vlix - n; enforce_strategy ra