{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"\"avx2.pmaxs.b\""}]}
                    "avx2.pmaxs.b" => "__builtin_ia32_pmaxsb256",
                    "avx2.pmadd.wd" => "__builtin_ia32_pmaddwd256",
                    "avx2.pmaxs.d" => "__builtin_ia32_pmaxsd256",