{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
            // Allocation not found locally, go look global.
            // Slow path.
            let alloc = self.get_global_alloc(id, /*is_write*/ true)?;