First version with ocaml interaction