add code of how to use gdb to debug