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