{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
            // This query is LRU'd, so actually calling it will skew the timing results.
            };
            let sm = || db.body_with_source_map(body_id.into()).1;