{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"\"aor32\""}]}
                    "aor32" => "__builtin_ia32_aor32",
                    "aesni.aeskeygenassist" => "__builtin_ia32_aeskeygenassist128",
                    "aor64" => "__builtin_ia32_aor64",