{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"rdpid\""}]}
                    "rdpid" => "__builtin_ia32_rdpid",
                    "rdgsbase.64" => "__builtin_ia32_rdgsbase64",
                    "rdpkru" => "__builtin_ia32_rdpkru",