{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
        });
            name: Name::generate_new_name(self.store.labels.len()),
        let old_label = self.current_try_block_label.replace(label);