--- a/abbrev.stc	Mon Jul 02 08:45:58 2018 +0200
+++ b/abbrev.stc	Fri Jun 22 11:39:15 2018 +0100
@@ -10,7 +10,9 @@
 GDBEventSubscription GDBEventSubscription jv:libgdbs 'GDB-Private' 0
 GDBFeatures GDBFeatures jv:libgdbs 'GDB-Core' 0
 GDBInternalPipeStream GDBInternalPipeStream jv:libgdbs 'GDB-Support' 0
+GDBMAByteArrayDescription GDBMAByteArrayDescription jv:libgdbs 'GDB-Support' 0
 GDBMAContainer GDBMAContainer jv:libgdbs 'GDB-Support' 0
+GDBMADescriptionSwitch GDBMADescriptionSwitch jv:libgdbs 'GDB-Support' 0
 GDBMAPropertyAccessor GDBMAPropertyAccessor jv:libgdbs 'GDB-Support' 0
 GDBMIPrinter GDBMIPrinter jv:libgdbs 'GDB-Private' 0
 GDBMITrace GDBMITrace jv:libgdbs 'GDB-Private-MI Trace' 0
@@ -55,6 +57,8 @@
 GDBExecutionEvent GDBExecutionEvent jv:libgdbs 'GDB-Core-Events' 0
 GDBExitEvent GDBExitEvent jv:libgdbs 'GDB-Core-Events' 0
 GDBFrame GDBFrame jv:libgdbs 'GDB-Core' 0
+GDBInstruction GDBInstruction jv:libgdbs 'GDB-Core' 0
+GDBInstructionsAndSourceLine GDBInstructionsAndSourceLine jv:libgdbs 'GDB-Core' 0
 GDBLogOutputEvent GDBLogOutputEvent jv:libgdbs 'GDB-Core-Events' 0
 GDBMI_ada_task_info GDBMI_ada_task_info jv:libgdbs 'GDB-Core-Commands-MI' 0
 GDBMI_add_inferior GDBMI_add_inferior jv:libgdbs 'GDB-Core-Commands-MI' 0