int __bit_count_leading_zeros_short(unsigned short x);
__bit_count_leading_zeros_short counts the number of leading binary zero bits in x.
__bit_count_leading_zeros_short is an intrinsic function and produces inline code.