{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"\"avx.vinsertf128.ps.256\""}]}
                    "avx.vinsertf128.ps.256" => "__builtin_ia32_vinsertf128_ps256",
                    "avx.vinsertf128.pd.256" => "__builtin_ia32_vinsertf128_pd256",
                    "avx.vinsertf128.si.256" => "__builtin_ia32_vinsertf128_si256",