{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"\"avx512.kortestz.w\""}]}
                    "avx512.kortestz.w" => "__builtin_ia32_kortestzhi",
                    "avx512.kortestc.w" => "__builtin_ia32_kortestchi",
                    "avx512.kunpck.bw" => "__builtin_ia32_kunpckhi",