2.38, fold-left