Use unconstrained bit_array.