{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"\"subborrow.u32\""}]}
                    "subborrow.u32" => "__builtin_ia32_subborrow_u32",
                    "stui" => "__builtin_ia32_stui",
                    "subborrow.u64" => "__builtin_ia32_subborrow_u64",