(from_montgomery out1) mod m = eval arg1 mod m // 0 ≤ eval out1 < m func p256ToMontgomery(out1 *p256MontgomeryDomain, arg1 *p256NonMontgomeryDom) { x1 := arg1[1] x2 := arg1[2] x3 := arg1[3] x4 := arg1[0] var x5 uint64 var x6 uint64 x6, x5 = bits.Mul64(x4, 0x4fffffffd) var x7 uint64 var x8 uint64 x8, x7 = bits.Mul64(x4, 0xfffffffffffffffe) var x9 uint64 var x10 uint64 x10, x9 = bits.Mul64(x4, 0xfffffffbffffffff) var x11 uint64 var x12 uint64 x12, x11 = bits.Mul64(x4, 0x3) var x13 uint64 var x14 uint64 x13, x14...