Add example of how svBit and svBitVecVal used