4 files changed, 95 insertions, 1 deletions
diff --git a/test/monniaux/ocaml/byterun/caml/finalise.h b/test/monniaux/ocaml/byterun/caml/finalise.h
index 5315ac21..b2052c21 100644
--- a/test/monniaux/ocaml/byterun/caml/finalise.h
+++ b/test/monniaux/ocaml/byterun/caml/finalise.h
@@ -25,7 +25,7 @@ void caml_final_update_clean_phase (void);
 void caml_final_do_calls (void);
 void caml_final_do_roots (scanning_action f);
 void caml_final_invert_finalisable_values ();
-void caml_final_oldify_young_roots ();
+void caml_final_oldify_young_roots (void);
 void caml_final_empty_young (void);
 void caml_final_update_minor_roots(void);
 value caml_final_register (value f, value v);
diff --git a/test/monniaux/ocaml/byterun/caml/jumptbl.h b/test/monniaux/ocaml/byterun/caml/jumptbl.h
new file mode 100644
index 00000000..30588756
--- /dev/null
+++ b/test/monniaux/ocaml/byterun/caml/jumptbl.h
@@ -0,0 +1,40 @@
+  &&lbl_ACC0, &&lbl_ACC1, &&lbl_ACC2, &&lbl_ACC3, &&lbl_ACC4, &&lbl_ACC5, &&lbl_ACC6, &&lbl_ACC7,
+  &&lbl_ACC, &&lbl_PUSH,
+  &&lbl_PUSHACC0, &&lbl_PUSHACC1, &&lbl_PUSHACC2, &&lbl_PUSHACC3,
+  &&lbl_PUSHACC4, &&lbl_PUSHACC5, &&lbl_PUSHACC6, &&lbl_PUSHACC7,
+  &&lbl_PUSHACC, &&lbl_POP, &&lbl_ASSIGN,
+  &&lbl_ENVACC1, &&lbl_ENVACC2, &&lbl_ENVACC3, &&lbl_ENVACC4, &&lbl_ENVACC,
+  &&lbl_PUSHENVACC1, &&lbl_PUSHENVACC2, &&lbl_PUSHENVACC3, &&lbl_PUSHENVACC4, &&lbl_PUSHENVACC,
+  &&lbl_PUSH_RETADDR, &&lbl_APPLY, &&lbl_APPLY1, &&lbl_APPLY2, &&lbl_APPLY3,
+  &&lbl_APPTERM, &&lbl_APPTERM1, &&lbl_APPTERM2, &&lbl_APPTERM3,
+  &&lbl_RETURN, &&lbl_RESTART, &&lbl_GRAB,
+  &&lbl_CLOSURE, &&lbl_CLOSUREREC,
+  &&lbl_OFFSETCLOSUREM2, &&lbl_OFFSETCLOSURE0, &&lbl_OFFSETCLOSURE2, &&lbl_OFFSETCLOSURE,
+  &&lbl_PUSHOFFSETCLOSUREM2, &&lbl_PUSHOFFSETCLOSURE0,
+  &&lbl_PUSHOFFSETCLOSURE2, &&lbl_PUSHOFFSETCLOSURE,
+  &&lbl_GETGLOBAL, &&lbl_PUSHGETGLOBAL, &&lbl_GETGLOBALFIELD, &&lbl_PUSHGETGLOBALFIELD, &&lbl_SETGLOBAL,
+  &&lbl_ATOM0, &&lbl_ATOM, &&lbl_PUSHATOM0, &&lbl_PUSHATOM,
+  &&lbl_MAKEBLOCK, &&lbl_MAKEBLOCK1, &&lbl_MAKEBLOCK2, &&lbl_MAKEBLOCK3, &&lbl_MAKEFLOATBLOCK,
+  &&lbl_GETFIELD0, &&lbl_GETFIELD1, &&lbl_GETFIELD2, &&lbl_GETFIELD3, &&lbl_GETFIELD, &&lbl_GETFLOATFIELD,
+  &&lbl_SETFIELD0, &&lbl_SETFIELD1, &&lbl_SETFIELD2, &&lbl_SETFIELD3, &&lbl_SETFIELD, &&lbl_SETFLOATFIELD,
+  &&lbl_VECTLENGTH, &&lbl_GETVECTITEM, &&lbl_SETVECTITEM,
+  &&lbl_GETBYTESCHAR, &&lbl_SETBYTESCHAR,
+  &&lbl_BRANCH, &&lbl_BRANCHIF, &&lbl_BRANCHIFNOT, &&lbl_SWITCH, &&lbl_BOOLNOT,
+  &&lbl_PUSHTRAP, &&lbl_POPTRAP, &&lbl_RAISE,
+  &&lbl_CHECK_SIGNALS,
+  &&lbl_C_CALL1, &&lbl_C_CALL2, &&lbl_C_CALL3, &&lbl_C_CALL4, &&lbl_C_CALL5, &&lbl_C_CALLN,
+  &&lbl_CONST0, &&lbl_CONST1, &&lbl_CONST2, &&lbl_CONST3, &&lbl_CONSTINT,
+  &&lbl_PUSHCONST0, &&lbl_PUSHCONST1, &&lbl_PUSHCONST2, &&lbl_PUSHCONST3, &&lbl_PUSHCONSTINT,
+  &&lbl_NEGINT, &&lbl_ADDINT, &&lbl_SUBINT, &&lbl_MULINT, &&lbl_DIVINT, &&lbl_MODINT,
+  &&lbl_ANDINT, &&lbl_ORINT, &&lbl_XORINT, &&lbl_LSLINT, &&lbl_LSRINT, &&lbl_ASRINT,
+  &&lbl_EQ, &&lbl_NEQ, &&lbl_LTINT, &&lbl_LEINT, &&lbl_GTINT, &&lbl_GEINT,
+  &&lbl_OFFSETINT, &&lbl_OFFSETREF, &&lbl_ISINT,
+  &&lbl_GETMETHOD,
+  &&lbl_BEQ, &&lbl_BNEQ,  &&lbl_BLTINT, &&lbl_BLEINT, &&lbl_BGTINT, &&lbl_BGEINT,
+  &&lbl_ULTINT, &&lbl_UGEINT,
+  &&lbl_BULTINT, &&lbl_BUGEINT,
+  &&lbl_GETPUBMET, &&lbl_GETDYNMET,
+  &&lbl_STOP,
+  &&lbl_EVENT, &&lbl_BREAK,
+  &&lbl_RERAISE, &&lbl_RAISE_NOTRACE,
+  &&lbl_GETSTRINGCHAR,
diff --git a/test/monniaux/ocaml/byterun/caml/opnames.h b/test/monniaux/ocaml/byterun/caml/opnames.h
new file mode 100644
index 00000000..bf6144cf
--- /dev/null
+++ b/test/monniaux/ocaml/byterun/caml/opnames.h
@@ -0,0 +1,48 @@
+
+
+
+
+char * names_of_instructions [] = {
+  "ACC0", "ACC1", "ACC2", "ACC3", "ACC4", "ACC5", "ACC6", "ACC7",
+  "ACC", "PUSH",
+  "PUSHACC0", "PUSHACC1", "PUSHACC2", "PUSHACC3",
+  "PUSHACC4", "PUSHACC5", "PUSHACC6", "PUSHACC7",
+  "PUSHACC", "POP", "ASSIGN",
+  "ENVACC1", "ENVACC2", "ENVACC3", "ENVACC4", "ENVACC",
+  "PUSHENVACC1", "PUSHENVACC2", "PUSHENVACC3", "PUSHENVACC4", "PUSHENVACC",
+  "PUSH_RETADDR", "APPLY", "APPLY1", "APPLY2", "APPLY3",
+  "APPTERM", "APPTERM1", "APPTERM2", "APPTERM3",
+  "RETURN", "RESTART", "GRAB",
+  "CLOSURE", "CLOSUREREC",
+  "OFFSETCLOSUREM2", "OFFSETCLOSURE0", "OFFSETCLOSURE2", "OFFSETCLOSURE",
+  "PUSHOFFSETCLOSUREM2", "PUSHOFFSETCLOSURE0",
+  "PUSHOFFSETCLOSURE2", "PUSHOFFSETCLOSURE",
+  "GETGLOBAL", "PUSHGETGLOBAL", "GETGLOBALFIELD", "PUSHGETGLOBALFIELD", "SETGLOBAL",
+  "ATOM0", "ATOM", "PUSHATOM0", "PUSHATOM",
+  "MAKEBLOCK", "MAKEBLOCK1", "MAKEBLOCK2", "MAKEBLOCK3", "MAKEFLOATBLOCK",
+  "GETFIELD0", "GETFIELD1", "GETFIELD2", "GETFIELD3", "GETFIELD", "GETFLOATFIELD",
+  "SETFIELD0", "SETFIELD1", "SETFIELD2", "SETFIELD3", "SETFIELD", "SETFLOATFIELD",
+  "VECTLENGTH", "GETVECTITEM", "SETVECTITEM",
+  "GETBYTESCHAR", "SETBYTESCHAR",
+  "BRANCH", "BRANCHIF", "BRANCHIFNOT", "SWITCH", "BOOLNOT",
+  "PUSHTRAP", "POPTRAP", "RAISE",
+  "CHECK_SIGNALS",
+  "C_CALL1", "C_CALL2", "C_CALL3", "C_CALL4", "C_CALL5", "C_CALLN",
+  "CONST0", "CONST1", "CONST2", "CONST3", "CONSTINT",
+  "PUSHCONST0", "PUSHCONST1", "PUSHCONST2", "PUSHCONST3", "PUSHCONSTINT",
+  "NEGINT", "ADDINT", "SUBINT", "MULINT", "DIVINT", "MODINT",
+  "ANDINT", "ORINT", "XORINT", "LSLINT", "LSRINT", "ASRINT",
+  "EQ", "NEQ", "LTINT", "LEINT", "GTINT", "GEINT",
+  "OFFSETINT", "OFFSETREF", "ISINT",
+  "GETMETHOD",
+  "BEQ", "BNEQ",  "BLTINT", "BLEINT", "BGTINT", "BGEINT",
+  "ULTINT", "UGEINT",
+  "BULTINT", "BUGEINT",
+  "GETPUBMET", "GETDYNMET",
+  "STOP",
+  "EVENT", "BREAK",
+  "RERAISE", "RAISE_NOTRACE",
+  "GETSTRINGCHAR",
+"FIRST_UNIMPLEMENTED_OP"};
+
+
diff --git a/test/monniaux/ocaml/byterun/caml/version.h b/test/monniaux/ocaml/byterun/caml/version.h
new file mode 100644
index 00000000..68d7000e
--- /dev/null
+++ b/test/monniaux/ocaml/byterun/caml/version.h
@@ -0,0 +1,6 @@
+#define OCAML_VERSION_MAJOR 4
+#define OCAML_VERSION_MINOR 7
+#define OCAML_VERSION_PATCHLEVEL 1
+#undef OCAML_VERSION_ADDITIONAL
+#define OCAML_VERSION 40701
+#define OCAML_VERSION_STRING "4.07.1"