utility cbv construction
more on bitvectors