{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"vfeeb\""}]}
                    "vfeeb" => "__builtin_s390_vfeeb",
                    "vfaezh" => "__builtin_s390_vfaezh",
                    "vfeef" => "__builtin_s390_vfeef",