--- a/libInit.cc	Sun Dec 01 08:40:43 2019 +0000
+++ b/libInit.cc	Fri May 22 14:45:21 2020 +0100
@@ -45,6 +45,7 @@
 extern void _GDBThreadState_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBTransientDataHolder_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _jv_137libgdbs_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
+extern void _GDBArch_137RV64_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBArch_137unknown_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBArch_137x86_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
 extern void _GDBAsyncEvent_Init(int pass, struct __vmData__ *__pRT__, OBJ snd);
@@ -271,6 +272,7 @@
     _GDBThreadState_Init(pass,__pRT__,snd);
     _GDBTransientDataHolder_Init(pass,__pRT__,snd);
     _jv_137libgdbs_Init(pass,__pRT__,snd);
+    _GDBArch_137RV64_Init(pass,__pRT__,snd);
     _GDBArch_137unknown_Init(pass,__pRT__,snd);
     _GDBArch_137x86_Init(pass,__pRT__,snd);
     _GDBAsyncEvent_Init(pass,__pRT__,snd);