std::vector<bool> -> boost::dynamic_bitset