core file writing

[Roland McGrath]

> Well, another thing that would certainly be useful to have is support for
> core files.  The crash server works today, we just don't have a sensible
> core file format, and a function that dumps such a core file (and another
> function that allows gdb to read it back).

This is not really very hard to do at all.