Program received signal SIGSEGV, Segmentation fault. 0x000000000056f3f8 in Printexc2__to_string_80 () (gdb) bt #0 0x000000000056f3f8 in Printexc2__to_string_80 () #1 0x0000002a955a90a8 in ?? () #2 0x00000000004c72ce in DonkeyIndexer__load_comments_1019 () #3 0x0000002a955a90a8 in ?? () #4 0x0000002a955a8f58 in ?? () #5 0x0000002a95e6d200 in ?? () #6 0x00000000006309d8 in modify () #7 0x0000000000503c5d in DonkeyMain__enable_1344 () #8 0x000000000000001d in ?? () #9 0x000000000042e454 in DriverMain__fun_997 () #10 0x0000002a955a9120 in ?? () #11 0x000000000042e4b9 in DriverMain__fun_999 () #12 0x0000002a95e6da70 in ?? () #13 0x000000000050d7b6 in CommonNetwork__fun_557 () #14 0x0000007fbfffef10 in ?? () #15 0x000000000050d733 in CommonNetwork__fun_557 () #16 0x0000002a955a9130 in ?? () #17 0x0000002a95ddcde0 in ?? () #18 0x0000002a95e6da70 in ?? () #19 0x00000000005d2a52 in List__iter_98 () #20 0x0000002a95e6c5a0 in ?? () #21 0x0000002a955a9130 in ?? () #22 0x0000007fbfffef10 in ?? () #23 0x000000000042eb77 in DriverMain__entry () #24 0x03ffffffffffffef in ?? () #25 0x0000002a95ddd950 in ?? () #26 0x00000000005de500 in Buffer__create_66 () #27 0x00000000006309d8 in modify () #28 0x000000000042cde9 in DriverInterface__entry () #29 0x0000002a955a17b8 in ?? () #30 0x0000000000405288 in startup__code_begin () #31 0x0000000000000001 in ?? () #32 0x000000000063b812 in caml_start_program () (gdb)