Replace gen_adc with gen_add_carry.