{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                fx.bcx.ins().select(has_overflow, max_val, bottom_capped)
                let has_overflow = fx.bcx.ins().icmp_imm(IntCC::UnsignedGreaterThan, ret, max);