Re: How to debug a segfault.