Moved testAdd to OCaml