{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"destination:"}]}
                destination: targets.first().map(|d| d.as_usize()),
                // FIXME: Figure out how to do labels in SMIR
                unwind: unwind.stable(tables, cx),