bits.Sub64(x187, 0xffffffff, uint64(p224Uint1(x195))) var x199 uint64 _, x199 = bits.Sub64(x189, uint64(0x0), uint64(p224Uint1(x197))) var x200 uint64 p224CmovznzU64(&x200, p224Uint1(x199), x190, x181) var x201 uint64 p224CmovznzU64(&x201, p224Uint1(x199), x192, x183) var x202 uint64 p224CmovznzU64(&x202, p224Uint1(x199), x194, x185) var x203 uint64 p224CmovznzU64(&x203, p224Uint1(x199), x196, x187) out1[0] = x200 out1[1] = x201 out1[2] = x202 out1[3] = x203 } // p224Square squares a field element in the...