BitMap::count_one_bits has this post-condition assert:

assert(sum <= (beg - end), "must be");

That should be "(end - beg)".