--- a/libInit.cc	Sun Oct 07 08:31:38 2018 +0100
+++ b/libInit.cc	Thu Oct 11 09:55:43 2018 +0200
@@ -33,6 +33,8 @@
 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);
+extern void _GDBMITraceCommandRecord_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
+extern void _GDBMITraceResponseRecord_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBObject_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBOutputFormat_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBOutputFormats_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
@@ -252,6 +254,8 @@
     _GDBMAPropertyAccessor_Init(pass,__pRT__,snd);
     _GDBMIPrinter_Init(pass,__pRT__,snd);
     _GDBMITrace_Init(pass,__pRT__,snd);
+    _GDBMITraceCommandRecord_Init(pass,__pRT__,snd);
+    _GDBMITraceResponseRecord_Init(pass,__pRT__,snd);
     _GDBObject_Init(pass,__pRT__,snd);
     _GDBOutputFormat_Init(pass,__pRT__,snd);
     _GDBOutputFormats_Init(pass,__pRT__,snd);