OCaml backend / check point