Cold path annotation translator for OCaml
