*p384MontgomeryDomain, arg1 *p384NonMontgomeryDom) { x1 := arg1[1] x2 := arg1[2] x3 := arg1[3] x4 := arg1[4] x5 := arg1[5] x6 := arg1[0] var x7 uint64 var x8 uint64 x8, x7 = bits.Mul64(x6, 0x200000000) var x9 uint64 var x10 uint64 x10, x9 = bits.Mul64(x6, 0xfffffffe00000000) var x11 uint64 var x12 uint64 x12, x11 = bits.Mul64(x6, 0x200000000) var x13 uint64 var x14 uint64 x14, x13 = bits.Mul64(x6, 0xfffffffe00000001) var x15 uint64 var x16 uint64 x15, x16 = bits.Add64(x14, x11, uint64(0x0)) var x17 uint64 var x18...