{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"vaccb\""}]}
                    "vaccb" => "__builtin_s390_vaccb",
                    "tend" => "__builtin_tend",
                    "vacccq" => "__builtin_s390_vacccq",