{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
        // Collect the set of allocations that are *reachable* from `Global` allocations.
    {
        let reachable = {