{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"extra.push_str(&dyn_compatibility_info);"}]}
            extra.push_str(&dyn_compatibility_info);
            extra.push_str("\n___\n");
        }