debugging with GDB

# gdb binary coredumpfile

(gdb) run