INNER CODE UNIT · C
x5
gost-engine/engine · ecp_id_GostR3410_2001_CryptoPro_A_ParamSet.c:341
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]) *
(arg2[2])) *
0x2));
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) *