Here is the gdb-debug-log for this session: