Count the number of consecutive leading zero bits, starting at the most significant bit (bit 63) of x.
x