pub const omit_gdb_pretty_printer_section: Symbol;