{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"\"avx10.vcvttss2sis\""}]}
                    "avx10.vcvttss2sis" => "__builtin_ia32_vcvttss2sis32",
                    "avx10.vcvttsd2usis64" => "__builtin_ia32_vcvttsd2usis64",
                    "avx10.vcvttss2sis64" => "__builtin_ia32_vcvttss2sis64",