public static void Subtract(uint[] x, uint[] y, uint[] z) { int c = Nat256.Sub(x, y, z); if (c != 0) { Nat256.SubWord(PInv, z, 0); z[7] &= P7; } }