Comment by xobs

You can load additional symbols into gdb without restarting it by using `add-symbol-file`, which you can use to iterate on the symbol mapping.