- fiat_id_tc26_gost_3410_2012_512_paramSetC_carry_add(t0, Z1, Y1);
- fiat_id_tc26_gost_3410_2012_512_paramSetC_carry_sub(t1, Z1, Y1);
- fiat_id_tc26_gost_3410_2012_512_paramSetC_carry_mul(T3, S, t0);
+ fiat_id_tc26_gost_3410_2012_512_paramSetC_carry_add(T3, Z1, Y1);
+ fiat_id_tc26_gost_3410_2012_512_paramSetC_carry_sub(t0, Z1, Y1);
+ fiat_id_tc26_gost_3410_2012_512_paramSetC_carry_mul(T3, S, T3);