funny gdb output