{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
            let sat_val = fx.bcx.ins().select(rhs_ge_zero, max, min);
            let rhs_ge_zero = fx.bcx.ins().icmp_imm(IntCC::SignedGreaterThanOrEqual, rhs, 0);
            fx.bcx.ins().select(has_overflow, sat_val, val)