{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"\"avx512.pmovzxbq\""}]}
                    "avx512.pmovzxbq" => "__builtin_ia32_pmovzxbq512",
                    "avx512.pmovzxbd" => "__builtin_ia32_pmovzxbd512",
                    "avx512.pmovzxdq" => "__builtin_ia32_pmovzxdq512",