func p384Selectznz(out1 *[6]uint64, arg1 p384Uint1, arg2 *[6]uint64, arg3 *[6]uint64) { var x1 uint64 p384CmovznzU64(&x1, arg1, arg2[0], arg3[0]) var x2 uint64 p384CmovznzU64(&x2, arg1, arg2[1], arg3[1]) var x3 uint64 p384CmovznzU64(&x3, arg1, arg2[2], arg3[2]) var x4 uint64 p384CmovznzU64(&x4, arg1, arg2[3], arg3[3]) var x5 uint64 p384CmovznzU64(&x5, arg1, arg2[4], arg3[4]) var x6 uint64 p384CmovznzU64(&x6, arg1, arg2[5], arg3[5]) out1[0] = x1 out1[1] = x2 out1[2] = x3 out1[3] = x4 out1[4] = x5...