Question: What is a good way to dump a Linux core file from inside a process?