concatenate2(x1,x2)

Concatenates the lower 32 bits of the 2 arguments, and returns the 64-bit result.