{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"\"avx.max.ps.256\""}]}
                    "avx.max.ps.256" => "__builtin_ia32_maxps256",
                    "avx.max.pd.256" => "__builtin_ia32_maxpd256",
                    "avx.min.pd.256" => "__builtin_ia32_minpd256",