https://howdodo.pages.dev/posts/debugging-with-gdb-getting-started-/