{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"//"}]}
            //
            // We have detected a call that can possibly leak foreign unwind.
            // Because the function body itself can unwind, we are not aborting this function call