0xffffffff00000001, uint64(p256Uint1(x179))) var x183 uint64 _, x183 = bits.Sub64(x173, uint64(0x0), uint64(p256Uint1(x181))) var x184 uint64 p256CmovznzU64(&x184, p256Uint1(x183), x174, x165) var x185 uint64 p256CmovznzU64(&x185, p256Uint1(x183), x176, x167) var x186 uint64 p256CmovznzU64(&x186, p256Uint1(x183), x178, x169) var x187 uint64 p256CmovznzU64(&x187, p256Uint1(x183), x180, x171) out1[0] = x184 out1[1] = x185 out1[2] = x186 out1[3] = x187 } // p256Square squares a field element in the...