Finally, what is the appropriate license for this file? Can you check how gdb's source files are set up? (show copying, show warranty) Sorry, I can't easily do so myself just now.
GPLv3 doesn't permit modifications, and I'm not sure removing some
parts of the file and keeping others, and modifying the content to
work in a #define string, is OK.
You aren't modifying the GPL's words. That's the important thing. Not
how you chop them up.
karl
