hi I got a segmentation fault and a core.dump file when tested my linked-in driver. How could I debug it with gdb? For an executable c file, we can just call 'gdb a.out core.dump'. How can I do this for a .so file loaded by erlang? Thanks.