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