Intrinsics for OCaml
