Symbolic debugger support

You can use gdb and other symbolic debuggers for your programs.