public static void Subtract(uint[] x, uint[] y, uint[] z) { int num = Nat.Sub(12, x, y, z); if (num != 0) { SecP384R1Field.SubPInvFrom(z); } }