{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"bx.callbr(fty,"}]}
        bx.callbr(fty, None, None, v, inputs, dest.unwrap(), labels, None, None)
        assert!(catch_funclet.is_none());
    } else if let Some((catch, funclet)) = catch_funclet {