{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"\"avx512.cvtsd2usi64\""}]}
                    "avx512.cvtsd2usi64" => "__builtin_ia32_cvtsd2usi64",
                    "avx512.cvtsd2usi" => "__builtin_ia32_cvtsd2usi",
                    "avx512.cvtsi2sd32" => "__builtin_ia32_cvtsi2sd32",