Re: [nhc-bugs] Debugging a segfault