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