--- a/libInit.cc	Mon Jul 02 08:45:58 2018 +0200
+++ b/libInit.cc	Fri Jun 22 11:39:15 2018 +0100
@@ -25,7 +25,9 @@
 extern void _GDBEventSubscription_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBFeatures_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBInternalPipeStream_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
+extern void _GDBMAByteArrayDescription_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBMAContainer_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
+extern void _GDBMADescriptionSwitch_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBMAPropertyAccessor_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBMIPrinter_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBMITrace_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
@@ -70,6 +72,8 @@
 extern void _GDBExecutionEvent_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBExitEvent_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBFrame_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
+extern void _GDBInstruction_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
+extern void _GDBInstructionsAndSourceLine_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBLogOutputEvent_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBMI_137ada_137task_137info_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBMI_137add_137inferior_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
@@ -233,7 +237,9 @@
     _GDBEventSubscription_Init(pass,__pRT__,snd);
     _GDBFeatures_Init(pass,__pRT__,snd);
     _GDBInternalPipeStream_Init(pass,__pRT__,snd);
+    _GDBMAByteArrayDescription_Init(pass,__pRT__,snd);
     _GDBMAContainer_Init(pass,__pRT__,snd);
+    _GDBMADescriptionSwitch_Init(pass,__pRT__,snd);
     _GDBMAPropertyAccessor_Init(pass,__pRT__,snd);
     _GDBMIPrinter_Init(pass,__pRT__,snd);
     _GDBMITrace_Init(pass,__pRT__,snd);
@@ -278,6 +284,8 @@
     _GDBExecutionEvent_Init(pass,__pRT__,snd);
     _GDBExitEvent_Init(pass,__pRT__,snd);
     _GDBFrame_Init(pass,__pRT__,snd);
+    _GDBInstruction_Init(pass,__pRT__,snd);
+    _GDBInstructionsAndSourceLine_Init(pass,__pRT__,snd);
     _GDBLogOutputEvent_Init(pass,__pRT__,snd);
     _GDBMI_137ada_137task_137info_Init(pass,__pRT__,snd);
     _GDBMI_137add_137inferior_Init(pass,__pRT__,snd);