move into dir
ocaml implem