{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"vmahf\""}]}
                    "vmahf" => "__builtin_s390_vmahf",
                    "vmahb" => "__builtin_s390_vmahb",
                    "vmahg" => "__builtin_s390_vmahg",