{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
                    // This is a new allocation, add the allocations it points to `todo`.
                if reachable.insert(id) {
                    // We only need to care about `alloc_map` memory here, as entirely unchanged