test passing with new representation of buffered bit vectors