add dupfun.ml