{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
                    // global memory cannot point to memory relevant for the leak check.
                    // We only need to care about `alloc_map` memory here, as entirely unchanged
                    if let Some((_, alloc)) = self.memory.alloc_map.get(id) {