let swap_in_last ra n = if n > ra.vlix || n < 0 then invalid_arg "swap_in_last" else unsafe_swap_in_last ra n