{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"vmaoh\""}]}
                    "vmaoh" => "__builtin_s390_vmaoh",
                    "vmaog" => "__builtin_s390_vmaog",
                    "vmeb" => "__builtin_s390_vmeb",