{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"\"tbm.bextri.u32\""}]}
                    "tbm.bextri.u32" => "__builtin_ia32_bextri_u32",
                    "t2rpntlvwz1t1" => "__builtin_ia32_t2rpntlvwz1t1",
                    "tbm.bextri.u64" => "__builtin_ia32_bextri_u64",