Debugging with xxgdb