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)