https://things.recmg.com/tech/blogs/how-to-use-gnu-debugger-in-linux/