Probably of not much value, but I'm including gdb.log...