{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"rdtsc\""}]}
                    "rdtsc" => "__builtin_ia32_rdtsc",
                    "rdsspq" => "__builtin_ia32_rdsspq",
                    "rdtscp" => "__builtin_ia32_rdtscp",