{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"\"bmi.bextr.32\""}]}
                    "bmi.bextr.32" => "__builtin_ia32_bextr_u32",
                    "axor64" => "__builtin_ia32_axor64",
                    "bmi.bextr.64" => "__builtin_ia32_bextr_u64",