uint64(p384Uint1(x336))) var x377 uint64 var x378 uint64 x378, x377 = bits.Mul64(x5, arg2[5]) var x379 uint64 var x380 uint64 x380, x379 = bits.Mul64(x5, arg2[4]) var x381 uint64 var x382 uint64 x382, x381 = bits.Mul64(x5, arg2[3]) var x383 uint64 var x384 uint64 x384, x383 = bits.Mul64(x5, arg2[2]) var x385 uint64 var x386 uint64 x386, x385 = bits.Mul64(x5, arg2[1]) var x387 uint64 var x388 uint64 x388, x387 = bits.Mul64(x5, arg2[0]) var x389 uint64 var x390 uint64 x389, x390 = bits.Add64(x388, x385,...