add splitBitVec, concatBitVec