b) caml_copy_nativeint creates a boxed native int (either Int32.t
   or Int64.t) not an unboxed Ocaml int. To create an unboxed
   Ocaml int, Val_int() is the correct macro.