{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":".map(|s|"}]}
                .map(|s| s.trim().trim_matches(',').replace('-', "_"));
                .split_ascii_whitespace()
            (label, lint, children)