OCaml backend / checkpoint