{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"rdpmc\""}]}
                    "rdpmc" => "__builtin_ia32_rdpmc",
                    "rdpkru" => "__builtin_ia32_rdpkru",
                    "rdpru" => "__builtin_ia32_rdpru",