updated bitvec1.cpp... const bitvec &