{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"vaccq\""}]}
                    "vaccq" => "__builtin_s390_vaccq",
                    "vacch" => "__builtin_s390_vacch",
                    "vacq" => "__builtin_s390_vacq",