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