+ /* A debug section has a different name when it's stored compressed
+ * or not. COMPRESSED_NAME and UNCOMPRESSED_NAME are the two
+ * possibilities. NAME is set to whichever one is used for this
+ * input file, as determined by load_debug_section(). */
+ const char *uncompressed_name;
+ const char *compressed_name;