{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"self.activation_map.entry(location).or_default().push(borrow_index);"}]}
            self.activation_map.entry(location).or_default().push(borrow_index);
            );