{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"label:"}]}
        label: "omit_gdb_pretty_printer_section",
    Lint {
        description: r##"# `omit_gdb_pretty_printer_section`