{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"vmeb\""}]}
                    "vmeb" => "__builtin_s390_vmeb",
                    "vmaoh" => "__builtin_s390_vmaoh",
                    "vmef" => "__builtin_s390_vmef",