let fold_right = Array.fold_right