{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"\"rdpkru\""}]}
                    "rdpkru" => "__builtin_ia32_rdpkru",
                    "rdpid" => "__builtin_ia32_rdpid",
                    "rdpmc" => "__builtin_ia32_rdpmc",