{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// contains an alloca into which the personality is stored and
    /// don't really care about it very much. Anyway, this value
    /// then later loaded when generating the DIVERGE_BLOCK.