{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        bx.invoke(fty, None, None, v, inputs, dest.unwrap(), catch, funclet, None)
        bx.call(fty, None, None, v, inputs, None, None)