{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"\"avx10.vcvtbf162ibs256\""}]}
                    "avx10.vcvtbf162ibs256" => "__builtin_ia32_vcvtbf162ibs256",
                    "avx10.vcvtbf162ibs128" => "__builtin_ia32_vcvtbf162ibs128",
                    "avx10.vcvtbf162ibs512" => "__builtin_ia32_vcvtbf162ibs512",