{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"vmhg\""}]}
                    "vmhg" => "__builtin_s390_vmhg",
                    "vmhf" => "__builtin_s390_vmhf",
                    "vmhh" => "__builtin_s390_vmhh",