{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"section_contents.extend_from_slice(b\"\\x01gdb_load_rust_pretty_printers.py\\0\");"}]}
        section_contents.extend_from_slice(b"\x01gdb_load_rust_pretty_printers.py\0");
        // Add the pretty printers for the standard library first.