void SetMuxInner(uint ctl,
MutableECPointPrime P1, MutableECPointPrime P2)
{
mx.CopyMux(ctl, P1.mx, P2.mx);
my.CopyMux(ctl, P1.my, P2.my);
mz.CopyMux(ctl, P1.mz, P2.mz);
affine = P2.affine ^ (ctl & (P1.affine ^ P2.affine));
}
void SetMuxInner(uint ctl,
MutableECPointCurve25519 P1, MutableECPointCurve25519 P2)
{
x.CopyMux(ctl, P1.x, P2.x);
}