let rec of_list_aux res_ar i = function | [] -> () | h::t -> unsafe_set_ar res_ar i h; of_list_aux res_ar (i + 1) t