analyze_64bit_constant
analyze_64bit_constant(high_bits, low_bits,
analyze_64bit_constant(high_bits, low_bits, &highest_bit_set,