let rec to_list_aux ar i accu = if i < 0 then accu else to_list_aux ar (i - 1) (Impl.unsafe_get ar i :: accu)