bitarray.cc #2