I\'ve built a 32-bit application on C using gcc (tdm-64-1) on my x64 machine. I need to have a debugger, which is gdb. But the problem is it doesn\'t work with x32. Is there