bitarray.cc #1