add util.ml