Ocaml Safety Discussion
Empty.