let
unsafe_swap_in_last ra n =
unsafe_set ra n (unsafe_get ra ra.vlix);
unsafe_remove_one ra