How to debug a segfault.