dynamic array of bitvectos: work-in-progress