public static void Reduce32(uint x, uint[] z)
{
uint c = Nat192.AddWord(x, z, 0) + Nat192.AddWord(x, z, 2);
if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P)))
{
Nat192.Sub(z, P, z);
}
}