Calculate the most significant 64 bits of the 128-bit product x * y, where x and y are 64-bit unsigned integers.
x
y