let rec of_list_aux ar i = function
    | [] -> ()
    | h::t -> Impl.unsafe_set ar i h; of_list_aux ar (i + 1) t