{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"\"sse41.dpps\""}]}
                    "sse41.dpps" => "__builtin_ia32_dpps",
                    "sse41.dppd" => "__builtin_ia32_dppd",
                    "sse41.extractps" => "__builtin_ia32_extractps128",