{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"\"umonitor\""}]}
                    "umonitor" => "__builtin_ia32_umonitor",
                    "ttransposed.internal" => "__builtin_ia32_ttransposed_internal",
                    "umwait" => "__builtin_ia32_umwait",