{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"\"rdtscp\""}]}
                    "rdtscp" => "__builtin_ia32_rdtscp",
                    "rdtsc" => "__builtin_ia32_rdtsc",
                    "rstorssp" => "__builtin_ia32_rstorssp",