bit_length::=