let fold_right f ({ ar = ar } as ra) accu = let res = ref accu in for i = ra.vlix downto 0 do res := f (unsafe_get_ar ar i) !res done; !res