There is no limit that I am aware of, and 40-bits seems highly unusual as svBitVecVal is just a 32-bit chunk of bits.