hol < SWnew.ml

