INNER CODE UNIT · C
x8
gost-engine/engine · ecp_id_GostR3410_2001_CryptoPro_A_ParamSet.c:351
x8 = (UINT16_C(0x269) *
((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[2]) *
(arg2[4])));
x9 = (UINT16_C(0x269) *
(((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[2]) *
(arg2[3])) *
0x2));
x10 = (UINT16_C(0x269) *
(((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[1]) *
(arg2[4])) *
0x2));
x11 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[4]) *
(arg2[0]));
x12 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[3]) *
((arg2[1]) * 0x2));
x13 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[3]) *
(arg2[0]));
x14 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[2]) *