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