{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"Uint(U64)"}]}
                    Uint(U64) => "__builtin_usubll_overflow",
                    Uint(U32) => "__builtin_usub_overflow",
                    Uint(U128) => "__builtin_sub_overflow",