{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"\"vote.all.sync\""}]}
                    "vote.all.sync" => "__nvvm_vote_all_sync",
                    "vote.all" => "__nvvm_vote_all",
                    "vote.any" => "__nvvm_vote_any",