Hello, I have substantially completed an extension that would allow dumps to be emitted as XML. I would like to contribute it to the FSF for inclusion in the GCC distribution. Please let me know if there is interest in this. Thanks, Brian M. Ames