{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"\"uwrmsr\""}]}
                    "uwrmsr" => "__builtin_ia32_uwrmsr",
                    "urdmsr" => "__builtin_ia32_urdmsr",
                    "vbcstnebf162ps128" => "__builtin_ia32_vbcstnebf162ps128",