add Ocaml memo