bit-vector.cc 832 Bytes