{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"\"addcarry.u32\""}]}
                    "addcarry.u32" => "__builtin_ia32_addcarry_u32",
                    "aand64" => "__builtin_ia32_aand64",
                    "addcarry.u64" => "__builtin_ia32_addcarry_u64",