bit_set::=