Re: how to debug gdb?