public static void multiplyAddToExt(long[] x, long[] y, long[] zz) {
long[] tt = Nat192.createExt64();
implMultiply(x, y, tt);
addExt(zz, tt, zz);
}
public static void multiply(long[] x, long[] y, long[] z) {
long[] tt = Nat192.createExt64();
implMultiply(x, y, tt);
reduce(tt, z);
}