/gnu/dist/gdb/opcodes/