INNER CODE UNIT · C
x2
gost-engine/engine · ecp_id_GostR3410_2001_CryptoPro_A_ParamSet.c:331
x2 = (UINT16_C(0x269) *
((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[4]) *
(arg2[3])));
x3 = (UINT16_C(0x269) *
((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[4]) *
(arg2[2])));
x4 = (UINT16_C(0x269) *
(((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[4]) *
(arg2[1])) *
0x2));
x5 = (UINT16_C(0x269) *
((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[3]) *
(arg2[4])));
x6 = (UINT16_C(0x269) *
((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[3]) *
(arg2[3])));
x7 = (UINT16_C(0x269) *
(((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[3]) *