let fold_left = Array.fold_left