{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"vaccg\""}]}
                    "vaccg" => "__builtin_s390_vaccg",
                    "vaccf" => "__builtin_s390_vaccf",
                    "vacch" => "__builtin_s390_vacch",