https://www.gnu.org/software/gdb/documentation/
https://sourceware.org/gdb/onlinedocs/gdb/
https://www.eecs.umich.edu/courses/eecs373/readings/Debugger.pdf