Simple experiment with OCaml native code debugging in GDB