{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":".map(|((name,"}]}
        .map(|((name, kind), stat)| {
        .iter()
            // This gives the desired sort order: sort by bytes, then lines, etc.