mul_64_64
product = mul_64_64(left[i], right[k - i]);
product = mul_64_64(left[k], right);
product = mul_64_64(left[i], left[k - i]);