add some CPS examples in OCaml